From 990e3c6007327a9e78e8f38e10f621d3b1ef214e Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Tue, 19 Mar 2013 11:45:23 -0400 Subject: [PATCH] Don't scale line thickness for menclose (so lines won't disapear in scripts). Resolves issue #414. --- unpacked/jax/output/HTML-CSS/autoload/menclose.js | 2 +- unpacked/jax/output/SVG/autoload/menclose.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/unpacked/jax/output/HTML-CSS/autoload/menclose.js b/unpacked/jax/output/HTML-CSS/autoload/menclose.js index 961efb385..ec9407db9 100644 --- a/unpacked/jax/output/HTML-CSS/autoload/menclose.js +++ b/unpacked/jax/output/HTML-CSS/autoload/menclose.js @@ -38,7 +38,7 @@ MathJax.Hub.Register.StartupHook("HTML-CSS Jax Ready",function () { if (values.padding == null) {values.padding = ".2em"} var mu = this.HTMLgetMu(span), scale = this.HTMLgetScale(); var p = HTMLCSS.length2em(values.padding,mu,1/HTMLCSS.em) * scale; - var t = HTMLCSS.length2em(values.thickness,mu,1/HTMLCSS.em) * scale; + var t = HTMLCSS.length2em(values.thickness,mu,1/HTMLCSS.em); // * scale; var SOLID = HTMLCSS.Em(t)+" solid"; span = this.HTMLcreateSpan(span); diff --git a/unpacked/jax/output/SVG/autoload/menclose.js b/unpacked/jax/output/SVG/autoload/menclose.js index 5b513f58c..6db015154 100644 --- a/unpacked/jax/output/SVG/autoload/menclose.js +++ b/unpacked/jax/output/SVG/autoload/menclose.js @@ -106,7 +106,7 @@ MathJax.Hub.Register.StartupHook("SVG Jax Ready",function () { if (values.padding == null) {values.padding = ".2em"} var mu = this.SVGgetMu(svg), scale = this.SVGgetScale(); var p = SVG.length2em(values.padding,mu,1/SVG.em) * scale; - var t = SVG.length2em(values.thickness,mu,1/SVG.em) * scale; + var t = SVG.length2em(values.thickness,mu,1/SVG.em); // * scale; var H = base.h+p+t, D = base.d+p+t, W = base.w+2*(p+t); var notation = values.notation.split(/ /); var dx = 0, w, h, i, m, borders = [false,false,false,false];