···

       
53
       
 
       
          };

     

       
54
       
 
       


     

       
55
       
 
       
          substitutions = mkOption {

     

       
56
       
-
       
            type = types.nullOr (types.enum ["free" "combi" "ms"]);

     

       
57
       
 
       
            default = "free";

     

       
58
       
 
       
            description = ''

     

       
59
       
 
       
              Font substitutions to replace common Type 1 fonts with nicer

     

···

       
53
       
 
       
          };

     

       
54
       
 
       


     

       
55
       
 
       
          substitutions = mkOption {

     

       
56
       
+
       
            type = types.enum ["free" "combi" "ms" "none"];

     

       
57
       
 
       
            default = "free";

     

       
58
       
 
       
            description = ''

     

       
59
       
 
       
              Font substitutions to replace common Type 1 fonts with nicer