Eh, a smaller font is nicer in the Windows GUI