From 682e6212113b121da7b5e52dc9b4d293e259b738 Mon Sep 17 00:00:00 2001
From: Jens Nolte <jens@nightmarestudio.de>
Date: Tue, 7 Apr 2020 14:36:23 +0200
Subject: [PATCH] Reduce kitty font size

---
 home-profiles/kitty/.config/kitty/kitty.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home-profiles/kitty/.config/kitty/kitty.conf b/home-profiles/kitty/.config/kitty/kitty.conf
index afddf94..b8f33ac 100644
--- a/home-profiles/kitty/.config/kitty/kitty.conf
+++ b/home-profiles/kitty/.config/kitty/kitty.conf
@@ -30,7 +30,7 @@ bold_font        Fira Code Bold
 bold_italic_font auto
 
 # Font size (in pts)
-font_size        10.0
+font_size        9.0
 
 # Adjust the cell dimensions.
 # You can use either numbers, which are interpreted as pixels or percentages
-- 
GitLab