There's a post on Reddit about editing the font sizes in Styles.xml. I haven't tried it yet, but it looks plausible.
I'm baffled how they left out any sort of UI scaling for resolution. It's 2014, people, some of us own screens bigger than 1024x768.