|
@@ -6,7 +6,7 @@
|
|
#: individual font faces and even specify special fonts for particular
|
|
#: individual font faces and even specify special fonts for particular
|
|
#: characters.
|
|
#: characters.
|
|
|
|
|
|
-font_family FuraCode Nerd Font
|
|
|
|
|
|
+font_family Monoid
|
|
# bold_font auto
|
|
# bold_font auto
|
|
# italic_font auto
|
|
# italic_font auto
|
|
# bold_italic_font auto
|
|
# bold_italic_font auto
|
|
@@ -22,7 +22,7 @@ font_family FuraCode Nerd Font
|
|
#: italic_font Operator Mono Book Italic
|
|
#: italic_font Operator Mono Book Italic
|
|
#: bold_italic_font Operator Mono Medium Italic
|
|
#: bold_italic_font Operator Mono Medium Italic
|
|
|
|
|
|
-font_size 16.0
|
|
|
|
|
|
+font_size 10.0
|
|
|
|
|
|
#: Font size (in pts)
|
|
#: Font size (in pts)
|
|
|
|
|