www

commit 990e3c6007327a9e78e8f38e10f621d3b1ef214e
parent fc7aa04a44d0c875c5c92a6e6f7703247015df81
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Tue, 19 Mar 2013 11:45:23 -0400

Don't scale line thickness for menclose (so lines won't disapear in scripts).  Resolves issue #414.

Diffstat:
M
unpacked/jax/output/HTML-CSS/autoload/menclose.js
 | 
2
+-
M
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
@@ -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
@@ -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];