From fefc775ad04e7872292cb68ae36a3439373f7715 Mon Sep 17 00:00:00 2001
From: Ricard Illa <rilla@monotremata.xyz>
Date: Sun, 13 Nov 2022 16:00:26 +0100
Subject: [PATCH] slightly smaller font on trantor's xmobar

---
 home/desktop-xmonad/trantor.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home/desktop-xmonad/trantor.nix b/home/desktop-xmonad/trantor.nix
index 7eca93b..cec2cfd 100644
--- a/home/desktop-xmonad/trantor.nix
+++ b/home/desktop-xmonad/trantor.nix
@@ -4,7 +4,7 @@ let
   desktopConfig = import ./desktop_config.nix {
     config = config;
     pkgs = pkgs;
-    fontSize = "12";
+    fontSize = "11";
     monoFontSize = "13";
   };
 in desktopConfig // {