]> git.r.bdr.sh - rbdr/dotfiles/commitdiff
Adjust font size for kitty
authorRuben Beltran del Rio <redacted>
Wed, 10 Nov 2021 13:05:27 +0000 (14:05 +0100)
committerRuben Beltran del Rio <redacted>
Wed, 10 Nov 2021 13:05:27 +0000 (14:05 +0100)
config/kitty/kitty.conf

index 7b023894e9cb4b84e5129b76decca1befae86b7c..4cf056d1c5b72c44fa17351d7c569f177ccc4dc6 100644 (file)
@@ -1,6 +1,6 @@
 # Font
 font_family Hasklig
 # Font
 font_family Hasklig
-font_size 16.0
+font_size 14.0
 
 # Cursor
 cursor #eeeeee
 
 # Cursor
 cursor #eeeeee