www

commit 273a96a122c582af0074449a9dee4b06bbe4a8e3
parent 948620fa0296e96564649d297218e908c5cc88bd
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu, 20 Aug 2015 11:16:22 -0400

Handle unitless linethickness in mfrac

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

1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -1151,6 +1151,13 @@
       if (unit === "mu") {return m / 18}                     // 18mu to an em for the scriptlevel
       return m*size;  // relative to given size (or 1em as default)
     },
+    thickness2em: function (length) {
+      var thick = CHTML.TEX.rule_thickness;
+      if (length === MML.LINETHICKNESS.MEDIUM) return thick;
+      if (length === MML.LINETHICKNESS.THIN)   return .67*thick;
+      if (length === MML.LINETHICKNESS.THICK)  return 1.67*thick;
+      return this.length2em(length,thick);
+    },
 
     Em: function (m) {
       if (Math.abs(m) < .001) return "0";
@@ -2301,7 +2308,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.length2em(values.linethickness||"0",0));
+        values.linethickness = Math.max(0,CHTML.thickness2em(values.linethickness||"0"));
         var mt = CHTML.TEX.min_rule_thickness/CHTML.em/BBOX.scale, a = CHTML.TEX.axis_height;
         var t = values.linethickness, p,q, u,v;
         if (values.bevelled) {