Earlier quoted context omitted.
> which AFAICS is almost universally ignored. Safari on iPhone uses that definition (that's the whole "resolution doubling" thing, in a nutshell). Gecko uses that definition, including on mobile devices. In fact, that definition is almost universally _used_ in cases where it matters (i.e. high-dpi displays). > Given that CSS also recognises length units such as pt Which are nowadays defined in terms of CSS px, becaus…
> Safari on iPhone uses that definition (that's the whole "resolution doubling" thing, in a nutshell). That's my point, though: no-one is really implementing CSS-px. What they're doing is implementing approximations, like doubling everything up on a high-dpi screen because the pixel pitch is roughly twice what you get on a typical desktop monitor, which is close enough to be workable. If browsers implemented CSS-px a…
The definition of CSS-px (for low-res devices, which includes all the mobile stuff so far; high-res in this context is print) is:
it is recommended that the pixel unit refer to the whole
number of device pixels that best approximates the
reference pixel
and the reference pixel is defined as: the visual angle of one pixel on a device with a pixel
density of 96dpi and a distance from the reader of an
arm's length.
See http://www.w3.org/TR/CSS2/syndata.html#length-unitsSo the whole point is to approximate the reference pixel by doubling your device pixels (or tripling, or whatever).
I think you may be thinking of a different definition of CSS pixel that used to exist a number of years ago (when "px" and reference pixels were the same thing). That definition is no longer in the spec, and hasn't been in a while. And that's precisely because of the antialiasing issues you mention.