Bump console font size

2 days ago · bbef33b7f7
parent 90de6ca058
commit bbef33b7f7
1 changed files with 1 additions and 1 deletions
--- 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'