From fff2255baedc14f33e885dabae68a212ac6e6605 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 18 Mar 2015 14:54:33 -0400
Subject: [PATCH] Adjsut merror bounding box to match default CSS.

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

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index 67767bb43..fc4ea494c 100644
--- 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);