From: Ruben Beltran del Rio <redacted>
Date: Wed, 10 Nov 2021 13:05:27 +0000 (+0100)
Subject: Adjust font size for kitty
X-Git-Url: https://git.r.bdr.sh/rbdr/dotfiles/commitdiff_plain/8010d7b556a2c3c5945b2f1e94010d0dfd22b73c?hp=-c

Adjust font size for kitty
---

8010d7b556a2c3c5945b2f1e94010d0dfd22b73c
diff --git a/config/kitty/kitty.conf b/config/kitty/kitty.conf
index 7b02389..4cf056d 100644
--- a/config/kitty/kitty.conf
+++ b/config/kitty/kitty.conf
@@ -1,6 +1,6 @@
 # Font
 font_family Hasklig
-font_size 16.0
+font_size 14.0
 
 # Cursor
 cursor #eeeeee