www

commit 625229566ff0aded8b7d6192134fc829df792065
parent 74e054397c63dfd04e23976340ede0ae365e3ee2
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Sun,  1 Mar 2015 18:12:45 -0500

Adjust merror CSS.

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

1 file changed, 2 insertions(+), 11 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -65,7 +65,7 @@
       "background-color":"#FFFF88",
       color:             "#CC0000",
       border:            "1px solid #CC0000",
-      padding:           "1px 3px",
+      padding:           "2px 3px",
       "font-style":      "normal",
       "font-size":       "90%"
     },
@@ -104,16 +104,7 @@
     ".MJXc-mtr:first-child > .MJXc-mtd": {"padding-top":0},
     ".MJXc-mlabeledtr": {"display":"table-row!important"},
     ".MJXc-mlabeledtr > .MJXc-mtd:first-child": {"padding-left":0},
-    ".MJXc-mlabeledtr:first-child > .MJXc-mtd": {"padding-top":0},
-    
-    ".MJXc-merror": {
-      "background-color":"#FFFF88",
-      color:             "#CC0000",
-      border:            "1px solid #CC0000",
-      padding:           "1px 3px",
-      "font-style":      "normal",
-      "font-size":       "90%"
-    }
+    ".MJXc-mlabeledtr:first-child > .MJXc-mtd": {"padding-top":0}    
   };
   
   (function () {