The C standard formalized in Coq

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

It might be because the font size is defined in the CSS in pixel units, instead of em, which is a point size (DPI dependent).

http://www.w3.org/TR/REC-CSS2/syndata.html#length-units

If you have a problem reading text on the screen, I suggest you use something like Clearly extension that reformats pages with a much more reading-friendly style.

You don't have to sign up to use this extension : https://evernote.com/clearly/

You can also try to print the page into a PDF and read it like that.

[ Parent | on HN ]

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 ]

Re:The C standard formalized in Coq by sbierwagen on Monday November 30, 2015 @11:00AM (#10650030)

As the page you linked to says, CSS px is also DPI-dependant, since it's defined as 1/96in. (There's even a diagram showing how one px can be many hardware pixels/dots on high-DPI output)

[ Parent | on HN ]