www

commit 974b5d34c8dc8f657f427079e8fac2f371ebcddb
parent 74c7898fca99dfddf4b836a048160e54c1ff403d
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu,  8 Oct 2015 20:46:10 -0400

Merge branch 'issue1281' into develop.  Issue #1281.

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

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -1477,8 +1477,8 @@
 
       CHTMLhandleScale: function (node) {
         var scale = 1, parent = this.parent, pscale = (parent ? parent.CHTML.scale : 1);
-        var values = this.getValues("scriptlevel","fontsize","mathsize");
-        if (!this.isToken) values.mathsize = 1;
+        var values = this.getValues("scriptlevel","fontsize");
+        values.mathsize = this.Get("mathsize",null,!this.isToken);
         if (values.scriptlevel !== 0) {
           if (values.scriptlevel > 2) values.scriptlevel = 2;
           scale = Math.pow(this.Get("scriptsizemultiplier"),values.scriptlevel);
@@ -2373,7 +2373,7 @@
         var nbox = this.CHTMLbboxFor(0), dbox = this.CHTMLbboxFor(1),
             BBOX = CHTML.BBOX.empty(this.CHTML), nscale = nbox.rscale, dscale = dbox.rscale;
         values.linethickness = Math.max(0,CHTML.thickness2em(values.linethickness||"0",BBOX.scale));
-        var mt = CHTML.TEX.min_rule_thickness/CHTML.em/BBOX.scale, a = CHTML.TEX.axis_height;
+        var mt = CHTML.TEX.min_rule_thickness/CHTML.em, a = CHTML.TEX.axis_height;
         var t = values.linethickness, p,q, u,v;
         if (values.bevelled) {
           frac.className += " MJXc-bevelled";