|
@@ -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 Iosevka
|
|
|
|
|
|
+font_family Terminus
|
|
#font_family Ubuntu Mono
|
|
#font_family Ubuntu Mono
|
|
# bold_font auto
|
|
# bold_font auto
|
|
# italic_font auto
|
|
# italic_font auto
|
|
@@ -23,7 +23,7 @@ font_family Iosevka
|
|
#: 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 11.0
|
|
|
|
|
|
+font_size 12.0
|
|
|
|
|
|
#: Font size (in pts)
|
|
#: Font size (in pts)
|
|
|
|
|