Re:Git 2.13
by brutopia on Wednesday May 10, 2017 @02:10AM
(#14306229)
Not related to this but please github choose a better font to render code in android browsers, the current one's unreadable!
[ Parent
| on HN ]
Re:Git 2.13
by charlieegan3 on Wednesday May 10, 2017 @03:54AM
(#14306578)
I thought GitHub used system fonts?
They try, but there is not really predictable and simple way to select those fonts in CSS. I've had times when Courier was used on Linux because the MS fonts we installed.
I would prefer they just do font-family: monospace
Re:Git 2.13
by kingosticks on Wednesday May 10, 2017 @05:11AM
(#14306883)
Is this the problem where it appears almost double spaced? That's what I get on Chrome 58.0.3029.83. And the scrolling performance is horrible, I assume it's some js stuff happening.
Looks fine to me. What version are you on?
Chrome 58 on android 6.0.1 and the device is nexus 7 2013