From 9c58eacfe3125877651c6999c41c2465f9a28dec Mon Sep 17 00:00:00 2001 From: sefidel Date: Sat, 22 Jan 2022 00:01:55 +0900 Subject: home/base: increase gtk font size --- home/profiles/base/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'home/profiles/base/default.nix') diff --git a/home/profiles/base/default.nix b/home/profiles/base/default.nix index 551e49b..101172c 100644 --- a/home/profiles/base/default.nix +++ b/home/profiles/base/default.nix @@ -29,7 +29,7 @@ in gtk.iconTheme.name = "Papirus-Dark"; gtk.theme.package = phocus; gtk.theme.name = "phocus"; - gtk.font.name = "CtrlD 10"; + gtk.font.name = "CtrlD 13"; home.file.".icons/default".source = "${pkgs.vanilla-dmz}/share/icons/Vanilla-DMZ-AA"; -- cgit 1.4.1