Hacker News new | ask | show | jobs
by mapleoin 4486 days ago
What font is that?
1 comments
nephyrin 4485 days ago
DejaVu Sans Mono: http://dejavu-fonts.org/

(Full hinting, greyscale AA)

link