From 5d1d5f62ea4914c72196ec135165535a4fd85a0c Mon Sep 17 00:00:00 2001
From: Ingolf Wagner <contact@ingolf-wagner.de>
Date: Fri, 30 Jun 2023 22:58:13 +0200
Subject: [PATCH] fiddling with the font size in i3

---
 nixos/components/gui/home-manager/i3.nix | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/nixos/components/gui/home-manager/i3.nix b/nixos/components/gui/home-manager/i3.nix
index 025da50..828f916 100644
--- a/nixos/components/gui/home-manager/i3.nix
+++ b/nixos/components/gui/home-manager/i3.nix
@@ -122,10 +122,7 @@ in
                 always = true;
               }
             ];
-          fonts = {
-            #names = [ "JetBrains Mono" ];
-            size = 11.0;
-          };
+          fonts.size = 11.0;
           bars = [
             (config.home-manager.users.mainUser.lib.stylix.i3.bar //
               {