@@ -1 +0,0 @@
-3f57bb2b-e62e-4b95-a625-fb6da1dd1962
@@ -1 +1 @@
-46edfb18-7137-441e-995e-853d662c8f36
+4ae7f291-9ac0-46c2-b26d-d07f77729447
@@ -23,7 +23,7 @@ font_family Iosevka
#: italic_font Operator Mono Book Italic
#: bold_italic_font Operator Mono Medium Italic
-font_size 08.0
+font_size 11.0
#: Font size (in pts)