www

commit fff2255baedc14f33e885dabae68a212ac6e6605
parent 4ee1aa59e706822172f40119b9bf6c246cd77a24
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed, 18 Mar 2015 14:54:33 -0400

Adjsut merror bounding box to match default CSS.

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

1 file changed, 20 insertions(+), 0 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -1610,6 +1610,26 @@
 
     /********************************************************/
     
+    MML.merror.Augment({
+      toCommonHTML: function (node) {
+        node = this.CHTMLdefaultNode(node);
+        var bbox = this.CHTML;
+        //
+        //  Adjust for font-size: 90%
+        //
+        bbox.rescale(.9);
+        //
+        //  Adjust for padding and border
+        //
+        bbox.h += 3/CHTML.em; if (bbox.h > bbox.t) bbox.t = bbox.h;
+        bbox.d += 3/CHTML.em; if (bbox.d > bbox.b) bbox.b = bbox.d;
+        bbox.w += 8/CHTML.em; bbox.r = bbox.w; bbox.l = 0;
+        return node;
+      }
+    });
+    
+    /********************************************************/
+    
     MML.mspace.Augment({
       toCommonHTML: function (node) {
         node = this.CHTMLcreateNode(node);