News for hackers. Stuff that matters.

A comment on The C standard formalized in Coq. Parent comment

Re:The C standard formalized in Coq by vinceyuan on Monday November 30, 2015 @09:20AM (#10649481)
My macbook pro is old (2012, no retina display). I think "font-size: 10pt;" should have same effects on retina and non-retina computers.
[ Parent | on HN ]
Re:The C standard formalized in Coq by ctstover on Monday November 30, 2015 @02:17PM (#10651109)
well what ever the reasons, the font displays about 75% the size of the HN font. Plus the font itself just looks odd to me.
[ Parent | on HN ]