diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js index a749a0ec4..d6b7df544 100644 --- a/unpacked/jax/output/HTML-CSS/jax.js +++ b/unpacked/jax/output/HTML-CSS/jax.js @@ -2344,9 +2344,9 @@ HTMLCSS.placeBox(box,x,y); x /= this.mscale; y /= this.mscale; span.bbox = { h: box.bbox.h, d: box.bbox.d, w: box.bbox.w, exactW: true, - lw: Math.min(0,box.bbox.lw+x), rw: Math.max(box.bbox.w,box.bbox.rw+x), - H: Math.max((box.bbox.H == null ? -HTMLCSS.BIGDIMEN : box.bbox.H),box.bbox.h+y), - D: Math.max((box.bbox.D == null ? -HTMLCSS.BIGDIMEN : box.bbox.D),box.bbox.d-y) + lw: box.bbox.lw+x, rw: box.bbox.rw+x, + H: Math.max((box.bbox.H == null ? -HTMLCSS.BIGDIMEN : box.bbox.H+y),box.bbox.h+y), + D: Math.max((box.bbox.D == null ? -HTMLCSS.BIGDIMEN : box.bbox.D-y),box.bbox.d-y) }; if (values.height !== "") {span.bbox.h = this.HTMLlength2em(box,values.height,mu,"h",0)} if (values.depth !== "") {span.bbox.d = this.HTMLlength2em(box,values.depth,mu,"d",0)}