www

commit 9b0378af9b59b6e0bc50f2bd2efc3cf3f8f3c9f6
parent ac30932664db49fd0e6aed9cc492d1a3852cf6e5
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Tue, 24 Mar 2015 12:30:15 -0400

Don't need SCRIPTFACTOR or MJXc-script CSS now that the scaling is done explicitly.

Diffstat:
M
unpacked/jax/output/CommonHTML/jax.js
 | 
4
+---

1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -33,8 +33,7 @@
 
   var EVENT, TOUCH, HOVER; // filled in later
 
-  var SCRIPTFACTOR = Math.sqrt(1/2),
-      AXISHEIGHT = .25,
+  var AXISHEIGHT = .25,
       STRUTHEIGHT = 1,
       AFUZZ = .08, HFUZZ = .025, DFUZZ = .025;  // adjustments to bounding box of character boxes
 
@@ -117,7 +116,6 @@
     "mjx-line":   {display:"block", width:"100%", "border-top":"0 solid"},
     "mjx-strut":  {width:0, "padding-top":STRUTHEIGHT+"em"},
 
-    ".MJXc-script": {"font-size":SCRIPTFACTOR+"em"},
     ".MJXc-space1": {"margin-left":".167em"},
     ".MJXc-space2": {"margin-left":".222em"},
     ".MJXc-space3": {"margin-left":".278em"},