www

commit c30dd6647bd6089c79c8585d7c9d97ed99a02015
parent 0a89bc1ac5faf468f3643b5bec3420a1dcb6d842
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu, 11 Sep 2014 06:50:13 -0400

Merge branch 'issue829' into develop.  Issue #829.

Diffstat:
M
unpacked/jax/output/HTML-CSS/jax.js
 | 
4
+++-
M
unpacked/jax/output/SVG/jax.js
 | 
4
+++-

2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -1680,7 +1680,7 @@
       scriptspace:         .1,
       nulldelimiterspace:  .12,
       delimiterfactor:     901,
-      delimitershortfall:   .1,    // originally .3,
+      delimitershortfall:   .3,
 
       min_rule_thickness:  1.25     // in pixels
     },
@@ -2210,6 +2210,8 @@
 	values.maxsize = HTMLCSS.length2em(values.maxsize,mu,span.bbox.h+span.bbox.d);
 	values.minsize = HTMLCSS.length2em(values.minsize,mu,span.bbox.h+span.bbox.d);
 	H = Math.max(values.minsize,Math.min(values.maxsize,H));
+        if (H != values.minsize)
+          {H = [Math.max(H*HTMLCSS.TeX.delimiterfactor/1000,H-HTMLCSS.TeX.delimitershortfall),H]}
 	span = this.HTMLcreateSpan(box); // clear contents and attributes
 	HTMLCSS.createDelimiter(span,this.data.join("").charCodeAt(0),H,scale);
 	if (values.symmetric) {H = (span.bbox.h + span.bbox.d)/2 + axis}
diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js
@@ -814,7 +814,7 @@
       scriptspace:         100,
       nulldelimiterspace:  120,
       delimiterfactor:     901,
-      delimitershortfall:  100,    // originally 300,
+      delimitershortfall:  300,
 
       min_rule_thickness:  1.25,   // in pixels
       min_root_space:      1.5     // in pixels
@@ -1488,6 +1488,8 @@
 	values.maxsize = SVG.length2em(values.maxsize,mu,svg.h+svg.d);
 	values.minsize = SVG.length2em(values.minsize,mu,svg.h+svg.d);
 	H = Math.max(values.minsize,Math.min(values.maxsize,H));
+        if (H != values.minsize)
+          {H = [Math.max(H*SVG.TeX.delimiterfactor/1000,H-SVG.TeX.delimitershortfall),H]}
 	svg = SVG.createDelimiter(this.data.join("").charCodeAt(0),H,svg.scale);
 	if (values.symmetric) {H = (svg.h + svg.d)/2 + axis}
 	  else {H = (svg.h + svg.d) * h/(h + d)}