mosjek

joined 1 year ago
[–] mosjek@lemmy.world 10 points 2 months ago (2 children)

The idea of the github fonts is interesting, but I find it strange that the same letters next to each other can have different widths. I currently prefer the CommitMono approach.