The C standard formalized in Coq

Re:The C standard formalized in Coq by wereHamster on Monday November 30, 2015 @09:17AM (#10649460)

Note that CSS pixels are not the same as physical pixels. Browsers are free to rescale CSS pixel values. Indeed, it's written in the document you linked to:

> If the pixel density of the output device is very different from that of a typical computer display, the user agent should rescale pixel values.

So actually 12px font should look about the same on all output devices, regardless of their physical DPI. But I agree that 12px is rather small for copy text.

[ Parent | on HN ]

Re:The C standard formalized in Coq by Someone on Monday November 30, 2015 @02:41PM (#10651263)

12px font also could become very small in the future, if typical computer displays end up having high dpi.

I guess a conforming browser should randomly sample computer displays before deciding how big 1px is.

Serious version: I don't think text like that should make it into a standard.

[ Parent | on HN ]