From ea6b76de5a104717f167222553f6aa2e05f400c0 Mon Sep 17 00:00:00 2001
From: odrling <florianbadie@odrling.xyz>
Date: Sun, 15 Oct 2023 22:04:37 +0200
Subject: [PATCH] [kitty] change font size

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

diff --git a/.config/kitty/kitty.conf b/.config/kitty/kitty.conf
index b71cd79..d9e1910 100644
--- a/.config/kitty/kitty.conf
+++ b/.config/kitty/kitty.conf
@@ -23,7 +23,7 @@ bold_italic_font auto
 #:     italic_font      Operator Mono Book Italic
 #:     bold_italic_font Operator Mono Medium Italic
 
-font_size 12.0
+font_size 11.0
 
 #: Font size (in pts)