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