From d36d551496d2d47008006a561ce2a5c4149809e2 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sun, 12 May 2013 06:38:19 -0400
Subject: [PATCH] Add filtering of scriptlevel, scriptsizemultiplier, and
 scriptminsize (as per Fred's examples).

---
 unpacked/extensions/Safe.js | 30 +++++++++++++++++++++++++-----
 1 file changed, 25 insertions(+), 5 deletions(-)

diff --git a/unpacked/extensions/Safe.js b/unpacked/extensions/Safe.js
index 2e2482dfa..73e2a4a20 100644
--- a/unpacked/extensions/Safe.js
+++ b/unpacked/extensions/Safe.js
@@ -102,11 +102,14 @@
     //  Methods called for MathML attribute processing
     //
     filter: {
-      "class":  "filterClass", 
-      id:       "filterID",
-      fontsize: "filterFontSize",
-      mathsize: "filterFontSize",
-      style:    "filterStyles"
+      "class":              "filterClass", 
+      style:                "filterStyles",
+      id:                   "filterID",
+      fontsize:             "filterFontSize",
+      mathsize:             "filterFontSize",
+      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
     //