From 92deaa0993768c650a32a4fd1a1bedf491f63153 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sun, 2 Aug 2015 17:01:01 -0400
Subject: [PATCH] Handle WebKit problems with negative depth (again).

---
 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
index 05c984bf1..544d56430 100644
--- 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