From 1de0eb3f9c8724725e6619712faab3e0d30daebe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Leonardo=20Eug=C3=AAnio?= <lelgenio@disroot.org>
Date: Wed, 26 Oct 2022 20:01:42 -0300
Subject: [PATCH] fix font size

---
 user/theme.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user/theme.nix b/user/theme.nix
index 23483a2..200c3b1 100644
--- a/user/theme.nix
+++ b/user/theme.nix
@@ -14,7 +14,7 @@ in {
     enable = true;
     font = {
       name = font.interface;
-      size = font.size.medium;
+      size = font.size.small;
     };
     theme = {
       name = gtk_theme;