News for hackers. Stuff that matters.

A comment on GitHub.com font changed.

Re:GitHub.com font changed by nathancahill on Monday July 11, 2016 @10:36PM (#12076367)
Anyone know what it was previously? I'm writing a user stylesheet to change it back.
[ Parent | on HN ]
Re:GitHub.com font changed by vmasto on Monday July 11, 2016 @10:58PM (#12076442)
Helvetica on OSX, Arial on Windows.
[ Parent | on HN ]
Re:GitHub.com font changed by Leandros on Tuesday July 12, 2016 @03:22AM (#12077336)
They also changed the size from 13px to 14px.
[ Parent | on HN ]
Re:GitHub.com font changed by Zverik on Tuesday July 12, 2016 @11:52AM (#12080056)
font-family: Helvetica, arial, nimbussansl, liberationsans, freesans, clean, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";

font-size: 13px;

line-height: 1.4;

[ Parent | on HN ]
Re:GitHub.com font changed by nathancahill on Tuesday July 12, 2016 @01:28PM (#12080851)
Thank you. I found this: https://github.com/rreusser/the-old-github-font
[ Parent | on HN ]