commit fa276c0cc6bc0a615f966a63396c32fb2e2fe925
parent 50aa78d2f30b9a2b3735c21d0cc148a47361c4a4
Author: Daniel Moch <daniel@danielmoch.com>
Date: Fri, 28 Feb 2020 09:15:22 -0500
GTK, adjust font size
Diffstat:
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gtkrc-2.0 b/.gtkrc-2.0
@@ -1,2 +1,2 @@
gtk-can-change-accels = 1
-gtk-font-name = "sans 9"
+gtk-font-name = "sans 8"
diff --git a/etc/gtk-3.0/settings.ini b/etc/gtk-3.0/settings.ini
@@ -1,4 +1,4 @@
[Settings]
gtk-application-prefer-dark-theme = false
gtk-can-change-accels = 1
-gtk-font-name = "sans 9"
+gtk-font-name = "sans 8"