[org.gnome.desktop.interface]
monospace-font-name = 'Menlo 12'

[org.gnome.gedit.preferences.editor]
editor-font = 'Menlo 12'