commit 6ed822313f4b2d7110483475b0571283137caec7
parent 74253a955fcf3aa8854d666569f4733bd4da634e
Author: Davide P. Cervone <dpvc@union.edu>
Date: Sat, 13 Sep 2014 15:29:49 -0400
Set the internal bounding box data properly for mpadded elements. Resolves issue #917.
Diffstat:
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git 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)}