]> git.r.bdr.sh - rbdr/dotfiles/commitdiff
git.r.bdr.sh / rbdr / dotfiles / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side (parent: 1131e29)
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 patch | blob | blame | history

diff --git a/config/kitty/kitty.conf b/config/kitty/kitty.conf
index 7b023894e9cb4b84e5129b76decca1befae86b7c..4cf056d1c5b72c44fa17351d7c569f177ccc4dc6 100644 (file)
--- a/config/kitty/kitty.conf
+++ b/config/kitty/kitty.conf
@@ -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
My dotfiles #config