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.