commit a26454ac9071e80906ee964a42173c228c3299c6
parent d38c5632ab7eafa85c7a0b2c3ec8c33b77acb303
Author: Davide P. Cervone <dpvc@union.edu>
Date: Sun, 14 Sep 2014 09:21:18 -0400
Merge branch 'issue917' into develop. 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)}