www

commit 92deaa0993768c650a32a4fd1a1bedf491f63153
parent ead271e0e6dfae6940d309d8521e08e31278858b
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Sun,  2 Aug 2015 17:01:01 -0400

Handle WebKit problems with negative depth (again).

Diffstat:
M
unpacked/jax/output/CommonHTML/jax.js
 | 
6
+++---

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -940,7 +940,7 @@
       if (list.length) this.addCharList(node.firstChild,list,bbox);
       bbox.clean();
       if (bbox.a == null) bbox.a = CENTERLINE;
-      if (bbox.d + bbox.a < 0) {bbox.D = bbox.d; bbox.d = -bbox.a}
+      if (bbox.d < 0) {bbox.D = bbox.d; bbox.d = 0}
       if (bbox.h - bbox.a) node.firstChild.style[bbox.h - bbox.a < 0 ? "marginTop" : "paddingTop"] = this.Em(bbox.h-bbox.a);
       if (bbox.d + bbox.a) node.firstChild.style[bbox.d + bbox.a < 0 ? "marginBottom": "paddingBottom"] = this.Em(bbox.d+bbox.a);
       return bbox;
@@ -2063,7 +2063,7 @@
           stack.appendChild(over); stack.appendChild(base);
         }
         if (obox.D) obox.d = obox.D;
-        if (obox.d + CENTERLINE < 0) {
+        if (obox.d < 0) {
           //
           // For negative depths, set the height and align to top
           // in order to avoid extra baseline space
@@ -2114,7 +2114,7 @@
           node.firstChild.lastChild.appendChild(under);
         }
         if (ubox.D) ubox.d = ubox.D;
-        if (ubox.d + CENTERLINE < 0) {
+        if (ubox.d < 0) {
           //
           // For negative depths, set the height and align to top
           // in order to avoid extra baseline space