From 9b0378af9b59b6e0bc50f2bd2efc3cf3f8f3c9f6 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Tue, 24 Mar 2015 12:30:15 -0400 Subject: [PATCH] Don't need SCRIPTFACTOR or MJXc-script CSS now that the scaling is done explicitly. --- 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 index be2376832..34c990f8c 100644 --- 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"},