search

vihanb / PPCG-Design

A redesign of the PPCG website
codegolf.stackexchange.com
35 stars 14 forks source link

Use DejaVu Sans Mono as the monospace font? #113

Open molarmanful opened 7 years ago

molarmanful commented 7 years ago

See https://codegolf.meta.stackexchange.com/questions/11805/change-code-font-to-dejavu

Anyone else think this is a good idea? After all, the font itself looks pretty good too in my opinion.

vihanb commented 7 years ago

Seems like a good idea we should also add Menlo maybe too

somebody1234 commented 7 years ago

And Meslo

ghost commented 7 years ago

And Fira Code

vihanb commented 6 years ago

Rather than adding everyone's favorite font, you can customize the 'monospace font': at: https://github.com/vihanb/PPCG-Design/blob/master/ppcg.user.js#L77