From bbef33b7f7b3e8fb62f1299861ddeea73af024b9 Mon Sep 17 00:00:00 2001
From: tigro <tigro@msvsphere-os.ru>
Date: Tue, 24 Dec 2024 13:49:50 +0300
Subject: [PATCH] Bump console font size

---
 schemas-override/org.gnome.desktop.interface.gschema.override | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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'