Style tweaks.

Because that font looked crap on Linux.