From 259bd18e5b888315b77b87799d5c62382fd1a05a Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Tue, 24 Jul 2018 10:31:26 +0200
Subject: Reduce terminal font size

---
 gui/kitty.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gui/kitty.nix b/gui/kitty.nix
index 1cd10fb..9a47dd0 100644
--- a/gui/kitty.nix
+++ b/gui/kitty.nix
@@ -6,7 +6,7 @@
 
     file.".config/kitty/kitty.conf".text = ''
       font_family Iosevka
-      font_size   10
+      font_size   9
       font_size_delta 1
       adjust_line_height 110%
 
-- 
cgit v1.2.3