2020-03-25 12:21:35 +00:00
|
|
|
font_size 10.0
|
2020-03-22 13:40:41 +00:00
|
|
|
font_family Source Code Pro
|
|
|
|
|
bold_font Source Code Pro Bold
|
2020-03-25 19:40:54 +00:00
|
|
|
italic_font Source Code Pro Bold Italic
|
2020-03-22 13:40:41 +00:00
|
|
|
bold_italic_font Operator Mono Medium Italic
|
