Terminal: change default font size

home-profiles/kitty/.config/kitty/kitty.conf

@@ -7,7 +7,7 @@ font_family      PragmataPro Mono Liga
 #bold_font        Fira Code Bold
 #bold_italic_font auto
 
-font_size        8.5
+font_size        10
 
 cursor_blink_interval     0.5
 
@@ -62,7 +62,7 @@ update_check_interval 0
 map kitty_mod+plus change_font_size current +0.5
 map kitty_mod+minus change_font_size current -0.5
 map kitty_mod+backspace restore_font_size
-map kitty_mod+´ set_font_size 10
+map kitty_mod+´ set_font_size 8.5
 
 map kitty_mod+f run_kitten text hints
 map kitty_mod+u input_unicode_character