|
|
@ -24,7 +24,7 @@ font_family Source Code Pro with Numderline
|
|
|
|
#: 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 12.0
|
|
|
|
font_size 13.0
|
|
|
|
|
|
|
|
|
|
|
|
#: Font size (in pts)
|
|
|
|
#: Font size (in pts)
|
|
|
|
|
|
|
|
|
|
|
@ -159,7 +159,7 @@ font_size 12.0
|
|
|
|
#: suffix px for pixels or % for percentage of original value. No
|
|
|
|
#: suffix px for pixels or % for percentage of original value. No
|
|
|
|
#: suffix means use pts. For example::
|
|
|
|
#: suffix means use pts. For example::
|
|
|
|
|
|
|
|
|
|
|
|
modify_font underline_position 1
|
|
|
|
modify_font underline_position 2
|
|
|
|
#: modify_font underline_thickness 150%
|
|
|
|
#: modify_font underline_thickness 150%
|
|
|
|
#: modify_font strikethrough_position 2px
|
|
|
|
#: modify_font strikethrough_position 2px
|
|
|
|
|
|
|
|
|
|
|
|