From e4731b490e70e414a90c939af550a64b857a00f5 Mon Sep 17 00:00:00 2001 From: Anthony Rodriguez Date: Fri, 6 Sep 2024 22:46:18 +0200 Subject: [PATCH] make gnome font smaller, make gnome-terminal font bigger --- home/common/gnome/default.nix | 1 + modules/stylix.nix | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/home/common/gnome/default.nix b/home/common/gnome/default.nix index a366131..2f11cfb 100644 --- a/home/common/gnome/default.nix +++ b/home/common/gnome/default.nix @@ -27,6 +27,7 @@ audibleBell = false; allowBold = true; visibleName = "nezia"; + font = "IntoneMono NF 14"; }; }; }; diff --git a/modules/stylix.nix b/modules/stylix.nix index 976f448..4737fa9 100644 --- a/modules/stylix.nix +++ b/modules/stylix.nix @@ -37,8 +37,8 @@ in }; sizes = lib.mkDefault { terminal = 14; - applications = 14; - desktop = 12; + applications = 11; + desktop = 10; }; }; targets = {