Comment Comment by gray_-_wolf With all these posts about fonts, I have to wonder, am I the weird one here for just using DejaVu Sans Mono for like past ten years and just, like, not caring that much? Does the font make that much of a difference? parent gray_-_wolf 3 years ago