May be I pay attention to silly things, but some fonts are easier to read than others and if you keep writing or reading code during hours and hours, the font that you use may very well affect your productivity (just a theory , besides, far more ridiculous stuff has made it's way in the Internet). Anyways...