www

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

Actually set the height of the under- or over-script when baseline spacing is not wanted, and make sure the proper node type is created for mover.

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

1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -63,7 +63,6 @@
     "mjx-base":   {display:"block"},
     "mjx-under":  {display:"table-cell"},
     "mjx-over":   {display:"block"},
-    "mjx-table > mjxover": {display:"table-cell"},
     
     "mjx-mphantom": {"visibility":"hidden"},
 
@@ -1018,9 +1017,10 @@
         //
         //  Get the nodes for base and limits
         //
+        var types = ["mjx-base","mjx-under","mjx-over"];
+        if (this.over === 1) types[1] = types[2];
         node = this.CHTMLdefaultNode(node,{
-          childNodes:["mjx-base","mjx-under","mjx-over"], noBBox:true, forceChild:true,
-          minChildren: 2
+          childNodes:types, noBBox:true, forceChild:true, minChildren: 2
         });
         var base, under, over;
         base = node.removeChild(node.firstChild);
@@ -1116,13 +1116,13 @@
         //  
         var stack = HTML.Element("mjx-stack");
         stack.appendChild(over); stack.appendChild(base);
-        if (obox.d < 0) {
+        if (obox.d < 0 || obox.h < .25) {
           //
           // For negative depths, set the height and align to top
           // in order to avoid extra baseline space
           //
           over.firstChild.style.verticalAlign = "top";
-          over.style.height = obox.h+obox.d;
+          over.style.height = CHTML.Em(obox.h+obox.d);
         }
         //
         //  Determine the spacing
@@ -1165,13 +1165,13 @@
         ]);
         node.firstChild.firstChild.firstChild.appendChild(stack);
         node.firstChild.lastChild.appendChild(under);
-        if (ubox.d < 0) {
+        if (ubox.d < 0 || ubox.h < .25) {
           //
           // 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;
+          under.style.height = CHTML.Em(ubox.h+ubox.d);
         }
         //
         //  determine the spacing