Use DejaVu Sans Mono as the monospace font?

[molarmanful]

See https://codegolf.meta.stackexchange.com/questions/11805/change-code-font-to-dejavu

Anyone else think this is a good idea? After all, the font itself looks pretty good too in my opinion.