From 7ee932568569345f4bdfbfe4007bb1ba52fd8607 Mon Sep 17 00:00:00 2001
From: traxys <quentin@familleboyer.net>
Date: Thu, 24 Aug 2023 15:57:13 +0200
Subject: [PATCH] personal-gui: Make font size overridable by hostconfig

---
 personal-gui/wm/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/personal-gui/wm/default.nix b/personal-gui/wm/default.nix
index 872b08e..9c70e9f 100644
--- a/personal-gui/wm/default.nix
+++ b/personal-gui/wm/default.nix
@@ -49,7 +49,7 @@
     };
     font = {
       family = "Hack Nerd Font Mono";
-      size = 10;
+      size = lib.mkDefault 10;
     };
   };