···

       
28
       
28
       
 
       


     

       
29
       
29
       
 
       
      settings = {

     

       
30
       
30
       
 
       
        main = {

     

       
31
       
31
       
-
       
          font = "monospace:size=12";

     

       
31
       
31
       
+
       
          font = "monospace:size=10";

     

       
32
       
32
       
 
       
        };

     

       
33
       
33
       
 
       
        colors = {

     

       
34
       
34
       
 
       
          background = "000000";