You can change the font settings with the following dialog box:
The font drop down list box allows you to select the font. In general fixed pitch fonts are faster to render than variable pitch fonts. Especially for fast updating items you might want to stick with fixed pitch fonts for better system performance.