···

       
1
       
-
       
font-size = 11

     

       
2
       
 
       
cursor-style-blink = true

     

       
3
       
 
       
cursor-click-to-move = true

     

       
4
       
 
       
mouse-hide-while-typing = true

     

···

       
1
       
+
       
font-size = 13

     

       
2
       
 
       
cursor-style-blink = true

     

       
3
       
 
       
cursor-click-to-move = true

     

       
4
       
 
       
mouse-hide-while-typing = true