update font size

This commit is contained in:
= 2020-07-12 10:26:06 +01:00
parent fb56ab224d
commit 33111d5be2
2 changed files with 2 additions and 2 deletions

View File

@ -1,4 +1,4 @@
font_size 10.0 font_size 11.0
font_family Source Code Pro SemiBold font_family Source Code Pro SemiBold
bold_font Source Code Pro Black bold_font Source Code Pro Black
italic_font Source Code Pro Bold Italic italic_font Source Code Pro Bold Italic

View File

@ -1,4 +1,4 @@
font_size 10.0 font_size 11.0
font_family Source Code Pro SemiBold font_family Source Code Pro SemiBold
bold_font Source Code Pro Black bold_font Source Code Pro Black
italic_font Source Code Pro Bold Italic italic_font Source Code Pro Bold Italic