fix font size

2022-10-26 20:01:42 -03:00 · 2022-10-26 20:01:42 -03:00 · 1de0eb3f9c
parent 9e7af86826
commit 1de0eb3f9c
1 changed files with 1 additions and 1 deletions
--- 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;