Subtle changes, bugs and feedback

I'm (mildly) hyperlexic, so I prefer a smaller font. What was the previous default font, David? I'd quite like to retain that, as I've just been through the other fonts on my system and can't seem to find it--or perhaps I've just not tried that font with the right size setting.

Scratch that, I've got it.