From cbb5547af143a6fc7cb750be08c1270ce01a6393 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Tue, 4 Aug 2015 11:21:03 -0400
Subject: [PATCH] Don't collapse borders for tables (this caused actual border
 rules to disappear when changing sizes in Firefox).  See also issue #1095.

---
 unpacked/jax/output/CommonHTML/jax.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index 0cecd445c..3f426b8db 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -62,8 +62,9 @@
     },
 
     "mjx-math":   {
-      "display":        "inline-block",
-      "border-collapse":"collapse"
+      "display":         "inline-block",
+      "border-collapse": "separate",
+      "border-spacing":  0,
     },
     "mjx-math *": {display:"inline-block", "text-align":"left"},