I was able to change the rest of the IDE's fonts (i.e. menus, dialogs, etc.) by using the "override default fonts" fields in the IDE Settings/Appearance screen of the Settings dialog. But it doesn't seem to affect the font size of the folder/file tree in the left navbar. The default font there is so small I can barely read it. How can I change that font?
UPDATE: I also apparently cannot change the font in the editor.