Fix minimum height of accents in scripts. #1956

Fix minimum height of accents in scripts (problem introduces in #1706 (closed)). Resolves issue #1956 (closed).

unpacked/jax/output/HTML-CSS/jax.js

@@ -2783,7 +2783,7 @@
 	      stretch[i] = (D == null && HW != null ? false :
 			   this.data[i].HTMLcanStretch("Horizontal"));
               if (this.data[this.over] && values.accent) {
-                children[i].bbox.h = Math.max(children[i].bbox.h,HTMLCSS.TeX.x_height); // min height of 1ex (#1706)
+                children[i].bbox.h = Math.max(children[i].bbox.h,scale*HTMLCSS.TeX.x_height); // min height of 1ex (#1706)
               }
 	    } else {
 	      stretch[i] = this.data[i].HTMLcanStretch("Horizontal");

unpacked/jax/output/SVG/jax.js

@@ -1960,7 +1960,7 @@
               boxes[i] = this.SVGdataStretched(i,HW,D);
 	      stretch[i] = (D != null || HW == null) && this.data[i].SVGcanStretch("Horizontal");
               if (this.data[this.over] && values.accent) {
-                boxes[i].h = Math.max(boxes[i].h,SVG.TeX.x_height); // min height of 1ex (#1706)
+                boxes[i].h = Math.max(boxes[i].h,scale*SVG.TeX.x_height); // min height of 1ex (#1706)
               }
             } else {
               boxes[i] = this.data[i].toSVG(); boxes[i].x = 0; delete boxes[i].X;