Split font sizes into different "kinds"(?)

2022-12-16 19:08:39 +01:00
parent 2e09c7354a
commit e2ae922a85
9 changed files with 13 additions and 10 deletions
--- a/gtk/gtk-3.0.ini.j2
+++ b/gtk/gtk-3.0.ini.j2
@@ -1,7 +1,7 @@
 [Settings]
 gtk-theme-name=Breeze
 gtk-icon-theme-name=breeze
-gtk-font-name=DejaVu Sans {{ machine.font_size|int - 2 }}
+gtk-font-name=DejaVu Sans {{ machine.font_size_1|int - 2 }}
 gtk-cursor-theme-name=breeze_cursors
 gtk-cursor-theme-size=0
 gtk-toolbar-style=GTK_TOOLBAR_BOTH