That's jlarocco's comment. He goes on to say that was done for "for no good reason", which suggest he's opposed to using pixels and prefers using points instead.
The rest of his comment gave me the impression that he prefers using points to pixels because:
1. on a high dpi display, each pixel is smaller
2. css pixels correspond to physical pixels
therefore using "px" in css would result in small text, whereas points presumably wouldn't have this issue.
>> "px" in css doesn't correspond to literal pixels on the display.
That's my comment. I mentioned this fact to correct his prior assumption that he thinks "px" in css corresponds to physical pixels on the display. I didn't explicitly state that 1.33px = 1pt because I couldn't find the exact reference for it, but I did go on to state it later.
>You ”justified” (I don’t know the intent of your comment, really) the use of points because pixels don’t match physical pixels.
no, I justified the use of pixels, because they were in fact independent of the physical pixels on the display, contrary to what jlarocco thinks. If they did in fact correspond to physical pixels on a display, that would be a defect on high dpi screens, because it would result in smaller text.
The only reason why they're in pt is that who wrote the stylesheet didn't know any better.
1: https://developer.mozilla.org/en-US/docs/Learn/CSS/Building_...