infrastructure

commit b1b24f41e6d029796c2ea75688e70f104806850f
parent cfcd97e7ec074db7e621eabd22ce4a3309969c5a
Author: Silas Brack <silasbrack@gmail.com>
Date:   Mon,  4 May 2026 21:32:05 +0200

fix: use correct monospace font name

Diffstat:
M
hosts/gaia/home.nix
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/hosts/gaia/home.nix b/hosts/gaia/home.nix
@@ -107,7 +107,7 @@
               # My preferred fonts (Latin / Western European scripts)
               "font.name.serif.x-western"      = "Merriweather";
               "font.name.sans-serif.x-western" = "IBM Plex Sans";
-              "font.name.monospace.x-western"  = "JetBrains Mono";
+              "font.name.monospace.x-western"  = "JetBrains Mono Nerd Font";
 
               # Whether the page's default ("body" with no font-family) is serif or sans-serif
               "font.default.x-western" = "sans-serif";