From 273a96a122c582af0074449a9dee4b06bbe4a8e3 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Thu, 20 Aug 2015 11:16:22 -0400 Subject: [PATCH] Handle unitless linethickness in mfrac --- 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 index 363b406cf..ebe0dc035 100644 --- 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) {