From 60bdcc9ffef290b894ec71e81fa77786f7b81596 Mon Sep 17 00:00:00 2001
From: jc <46619361+juancwu@users.noreply.github.com>
Date: Wed, 7 Aug 2024 17:21:09 -0400
Subject: [PATCH] (kitty) update font size

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

diff --git a/kitty/kitty.conf b/kitty/kitty.conf
index 3a9bd9c..bd3349b 100644
--- a/kitty/kitty.conf
+++ b/kitty/kitty.conf
@@ -3,7 +3,7 @@
 include current-theme.conf
 # END_KITTY_THEME
 
-font_size 13.0
+font_size 11.5
 font_family FiraCode Nerd Font
 
 # TAB MANAGEMENT