infrastructure

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 4f6fa3b7ae6e54c92d91e271298da46044499f35
parent b1b24f41e6d029796c2ea75688e70f104806850f
Author: Silas Brack <silasbrack@gmail.com>
Date:   Mon,  4 May 2026 21:41:01 +0200

fix: monospace font

Diffstat:
Mhosts/gaia/configuration.nix | 1+
Mhosts/gaia/home.nix | 2+-
2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/hosts/gaia/configuration.nix b/hosts/gaia/configuration.nix @@ -129,6 +129,7 @@ fonts = { enableDefaultPackages = true; packages = with pkgs; [ + jetbrains-mono nerd-fonts.jetbrains-mono nerd-fonts.iosevka # font-bitstream-type1 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 Nerd Font"; + "font.name.monospace.x-western" = "JetBrains Mono"; # Whether the page's default ("body" with no font-family) is serif or sans-serif "font.default.x-western" = "sans-serif";