[marvy]

Scroll to the bottom, and click "Display Preferences", and crank the font size to 16 pt, instead of the default 11. At least that's what I did. You may find 16 too big, season to taste :)