[org.gnome.desktop.interface]
document-font-name='Red Hat Text Regular 11'
font-name='Red Hat Text Regular 11'
monospace-font-name='Red Hat Mono Regular 10'