Reduce kitty font size

682e6212 · Jens Nolte · 76e5daa2 · 682e6212
Commit 682e6212 authored 4 years ago by Jens Nolte
--- 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