marcothms/dots
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

ft: holiday pimp

Browse Source
This commit is contained in:
Marco Thomas
2026-01-11 12:20:35 +01:00
parent 104d1f654f
commit 9a48f563ed
4 changed files with 29 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
files/kitty/.config/kitty/kitty.conf
View File

@@ -4,15 +4,16 @@
#: kitty has very powerful font management. You can configure
#: individual font faces and even specify special fonts for particular
#: characters.
#
# kitty +list-fonts
font_family JetBrainsMono NFM
bold_font JetBrainsMono NFM Bold
italic_font JetBrainsMono NFM Italic
bold_italic_font JetBrainsMono NFM Bold Italic
# BEGIN_KITTY_FONTS
font_family family='BlexMono Nerd Font Mono' style=Medium
bold_font family='BlexMono Nerd Font Mono' style='SemiBold'
italic_font family='BlexMono Nerd Font Mono' style='SemiBold Italic'
bold_italic_font auto
# END_KITTY_FONTS: characters.
font_size 10
font_size 11
#: Font size (in pts)
@@ -900,7 +901,7 @@ confirm_os_window_close 0
#: Tab bar {{{
tab_bar_edge bottom
tab_bar_edge top
#: The edge to show the tab bar on, top or bottom.