From e3f72d719c13981fc5e457c4e9dd1fe73b512f54 Mon Sep 17 00:00:00 2001 From: dadada Date: Sat, 29 Jan 2022 21:27:44 +0100 Subject: [PATCH] Changed font size --- home/modules/alacritty/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/modules/alacritty/default.nix b/home/modules/alacritty/default.nix index 2ba178e..98a91ae 100644 --- a/home/modules/alacritty/default.nix +++ b/home/modules/alacritty/default.nix @@ -17,7 +17,7 @@ in settings = { scrolling.history = 0; font = { - size = 11; + size = 10; normal = { family = "Jetbrains Mono"; style = "Regular";