The C standard formalized in Coq

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

Native speaker agreeing with you that it is an almost instant headache on 13" mbpro[1]. It's all part of being "modern". Font sizes in pixels is one of the many fails of CSS and the web in general.

[1]on iceweasel on debian 8 in virtualbox.

[ Parent | on HN ]

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 ]