Saner default font selection for Windows
Merge pull request #818 from herby/consolas

Saner default font selection for Windows