Change font to JetBrains Nerd
This commit is contained in:
parent
aee0f81abc
commit
76605d6927
1 changed files with 9 additions and 4 deletions
|
@ -6,12 +6,17 @@ include ./themes/mocha.conf
|
|||
#: kitty has very powerful font management. You can configure
|
||||
#: individual font faces and even specify special fonts for particular
|
||||
#: characters.
|
||||
#
|
||||
|
||||
font_family RobotoMono Nerd Font
|
||||
font_family JetBrainsMono Nerd Font Mono
|
||||
bold_font JetBrainsMono Nerd Font Mono Extra Bold
|
||||
bold_italic_font JetBrainsMono Nerd Font Mono Extra Bold Italic
|
||||
|
||||
# font_family RobotoMono Nerd Font
|
||||
font_style Regular
|
||||
bold_font auto
|
||||
# bold_font auto
|
||||
italic_font auto
|
||||
bold_italic_font auto
|
||||
# bold_italic_font auto
|
||||
|
||||
#: You can specify different fonts for the bold/italic/bold-italic
|
||||
#: variants. The easiest way to select fonts is to run the `kitten
|
||||
|
@ -22,7 +27,7 @@ bold_italic_font auto
|
|||
#: <https://sw.kovidgoyal.net/kitty/kittens/choose-fonts/#font-spec-
|
||||
#: syntax>.
|
||||
|
||||
font_size 12.0
|
||||
font_size 16.0
|
||||
|
||||
#: Font size (in pts).
|
||||
|
||||
|
|
Loading…
Reference in a new issue