diff --git a/schemas-override/org.gnome.desktop.interface.gschema.override b/schemas-override/org.gnome.desktop.interface.gschema.override index f7958fe..712df78 100644 --- a/schemas-override/org.gnome.desktop.interface.gschema.override +++ b/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 11' +monospace-font-name='Source Code Pro 14' font-antialiasing='rgba' font-hinting='full' font-name='Roboto 11'