[charlieegan3]

I thought GitHub used system fonts?

https://news.ycombinator.com/item?id=12075623

[marcoms]

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