I would like to make the font smaller. I lost my screen, so I'm playing on a TV with a capped resolution and the default font is enormous for it. I was able to kind of get around it by changing the font, but simply being able to change text size would work much better.