3 ms·What font is that?by mapleoin 13y agoWhat font is that?nephyrin 13y agoDejaVu Sans Mono: http://dejavu-fonts.org/ http://dejavu-fonts.org/ (Full hinting, greyscale AA)