]> 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: e318927)
New font
authorRuben Beltran del Rio <redacted>
Thu, 28 Apr 2022 20:00:42 +0000 (22:00 +0200)
committerRuben Beltran del Rio <redacted>
Thu, 28 Apr 2022 20:00:42 +0000 (22:00 +0200)
config/kitty/kitty.conf patch | blob | blame | history

diff --git a/config/kitty/kitty.conf b/config/kitty/kitty.conf
index 4cf056d1c5b72c44fa17351d7c569f177ccc4dc6..2302b21808370733ba955ff65deb29d18020b120 100644 (file)
--- a/config/kitty/kitty.conf
+++ b/config/kitty/kitty.conf
@@ -1,5 +1,8 @@
 # Font
 # Font
-font_family Hasklig
+font_family Input Mono Light
+bold_font Input Mono Medium
+italic_font Input Mono Light Italic
+bold_italic_font Input Mono Medium Italic
 font_size 14.0
 
 # Cursor
 font_size 14.0
 
 # Cursor
My dotfiles #config