The Font used for the entire application with the exception
of the synchronizing text editor, which requires one of a very
few mono-spaced fonts available in your system.