specify what monospaced fonts to use

The default on GNOME looks very heavy.