odrling/dotfiles
1
1
Fork 1
Code Issues Pull requests Packages Projects Releases Wiki Activity

[kitty] change font size

Browse source
This commit is contained in:
odrling 2023-10-15 22:04:37 +02:00
parent 0bf56736df
commit ea6b76de5a
No known key found for this signature in database
GPG key ID: A0145F975F9F8B75
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.config/kitty/kitty.conf
View file

@ -23,7 +23,7 @@ bold_italic_font auto
#: italic_font Operator Mono Book Italic
#: bold_italic_font Operator Mono Medium Italic
font_size 12.0
font_size 11.0
#: Font size (in pts)