3 ms·This looks like the DejaVu Sans Mono font that I've been using for 10+ years now.by nunez 5y agoThis looks like the DejaVu Sans Mono font that I've been using for 10+ years now.