Change font size to 10.

The old font size was optimized for an X11 session to Windows, which made all fonts too small. Instead of adjusting the font size in each client, I change xming to take the -dpi 100 param, which makes the fonts the right size.