schemas-override/org.gnome.desktop.interface.gschema.override

@@ -2,7 +2,7 @@
 enable-hot-corners=false
 icon-theme='kora-pgrey'
 document-font-name='Roboto 11'
-monospace-font-name='Source Code Pro 14'
+monospace-font-name='Source Code Pro 11'
 font-antialiasing='rgba'
 font-hinting='full'
 font-name='Roboto 11'