How Can I Change the Font Size?

Right now, unfortunately, you can’t.

I’m working on it, both since I don’t like the system default sizes and because I am well aware that reading small type isn’t fun for most people, especially those with impaired sight.

I apologize for not having this done yet. Get in touch if this causes problems.