www

commit 0ba42d10b05b39baa117135e95a765a277613224
parent f3fdb12f8cdbc023e3f045284e986e575f777abb
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed,  4 Mar 2015 17:10:04 -0500

Fix depth of stack when underscript depth is negative.

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

1 file changed, 8 insertions(+), 0 deletions(-)
diff --git 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
         //