www

commit 73d7791820582890995d690808ddc2d1cd93d3e3
parent 45be3288093ebf471fca01688691d4618a202718
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed, 20 Mar 2013 13:40:04 -0400

Merge branch 'issue414' into develop

Diffstat:
M
unpacked/jax/output/HTML-CSS/autoload/menclose.js
 | 
6
+++---
M
unpacked/jax/output/SVG/autoload/menclose.js
 | 
6
+++---

2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/autoload/menclose.js b/unpacked/jax/output/HTML-CSS/autoload/menclose.js
@@ -22,7 +22,7 @@
  */
 
 MathJax.Hub.Register.StartupHook("HTML-CSS Jax Ready",function () {
-  var VERSION = "2.1";
+  var VERSION = "2.1.1";
   var MML = MathJax.ElementJax.mml,
       HTMLCSS = MathJax.OutputJax["HTML-CSS"];
   
@@ -37,8 +37,8 @@ MathJax.Hub.Register.StartupHook("HTML-CSS Jax Ready",function () {
       if (values.thickness == null) {values.thickness = ".075em"}
       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 p = HTMLCSS.length2em(values.padding,mu,1/HTMLCSS.em) * scale;  // padding for enclosure
+      var t = HTMLCSS.length2em(values.thickness,mu,1/HTMLCSS.em);        // thickness of lines (not scaled, see issue #414)
       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
@@ -22,7 +22,7 @@
  */
 
 MathJax.Hub.Register.StartupHook("SVG Jax Ready",function () {
-  var VERSION = "2.1";
+  var VERSION = "2.1.1";
   var MML = MathJax.ElementJax.mml,
       SVG = MathJax.OutputJax.SVG,
       BBOX = SVG.BBOX;
@@ -105,8 +105,8 @@ MathJax.Hub.Register.StartupHook("SVG Jax Ready",function () {
       if (values.thickness == null) {values.thickness = ".075em"}
       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 p = SVG.length2em(values.padding,mu,1/SVG.em) * scale;  // padding for enclosure
+      var t = SVG.length2em(values.thickness,mu,1/SVG.em);        // thickness of lines (not scaled, see issue #414)
       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];