Add filtering of scriptlevel, scriptsizemultiplier, and scriptminsize (as per Fred's examples).

unpacked/extensions/Safe.js

@@ -103,10 +103,13 @@
     //
     filter: {
       "class":              "filterClass", 
+      style:                "filterStyles",
       id:                   "filterID",
       fontsize:             "filterFontSize",
       mathsize:             "filterFontSize",
-      style:    "filterStyles"
+      scriptminsize:        "filterFontSize",
+      scriptsizemultiplier: "filterSizeMultiplier",
+      scriptlevel:          "filterScriptLevel"
     },
     
     //
@@ -182,6 +185,23 @@
       return (ALLOW.fontsize === "all" ? size: null);
     },
     
+    //
+    //  Filter scriptsizemultiplier
+    //
+    filterSizeMultiplier: function (size) {
+      if (ALLOW.fontsize === "none") {size = null}
+      else if (ALLOW.fontsize !== "all") {size = Math.min(1,size).toString()}
+      return size;
+    },
+    //
+    //  Filter scriptLevel
+    //
+    filterScriptLevel: function (level) {
+      if (ALLOW.fontsize === "none") {level = null}
+      else if (ALLOW.fontsize !== "all") {level = Math.max(0,level).toString()}
+      return level;
+    },
+    
     //
     //  Filter TeX extension names
     //