[org.gnome.desktop.interface]
monospace-font-name = 'Monospace 11'

[org.gnome.gedit.preferences.editor]
editor-font = 'Monospace 11'