Paul, that's the problem. Appearance Preferences settings affect the system. Most of, if not all, the modern GUI apps offer both options: use the system font, or select a font and font size.
Paul, that's the problem. Appearance Preferences settings affect the system. Most of, if not all, the modern GUI apps offer both options: use the system font, or select a font and font size.