Fix the font, by resizing it up a bit.

The other font setting was smaller, but I am not too sure I liked it as much as this setting.
Use Consolas on Linux.