From 0ba42d10b05b39baa117135e95a765a277613224 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 4 Mar 2015 17:10:04 -0500
Subject: [PATCH] Fix depth of stack when underscript depth is negative.

---
 unpacked/jax/output/CommonHTML/jax.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index 7f4264830..ef306df97 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -1165,6 +1165,14 @@
         ]);
         node.firstChild.firstChild.firstChild.appendChild(stack);
         node.firstChild.lastChild.appendChild(under);
+        if (ubox.d < 0) {
+          //
+          // For negative depths, set the height and align to top
+          // in order to avoid extra baseline space
+          //
+          under.firstChild.style.verticalAlign = "top";
+          under.style.height = ubox.h+ubox.d;
+        }
         //
         //  determine the spacing
         //