From 7d4d23ad4bce1f9157e7d8850742c815ee9b1b0b Mon Sep 17 00:00:00 2001 From: buffet Date: Mon, 20 Mar 2023 15:46:30 +0100 Subject: [PATCH] feat: change font size --- theme.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/theme.nix b/theme.nix index 1231969..5ebd5b5 100644 --- a/theme.nix +++ b/theme.nix @@ -4,7 +4,7 @@ font = { #family = "GoMono Nerd Font"; family = "APL386 Unicode"; - size = 8; + size = 7; }; primary = {