]> git.r.bdr.sh - rbdr/dotfiles/commitdiff
Merge branch 'main' of gitlab.com:rbdr/dotfiles
authorRuben Beltran del Rio <redacted>
Thu, 28 Apr 2022 20:00:58 +0000 (22:00 +0200)
committerRuben Beltran del Rio <redacted>
Thu, 28 Apr 2022 20:00:58 +0000 (22:00 +0200)
config/kitty/kitty.conf

index 4cf056d1c5b72c44fa17351d7c569f177ccc4dc6..2302b21808370733ba955ff65deb29d18020b120 100644 (file)
@@ -1,5 +1,8 @@
 # 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