From e72eef13c5686966b5417130306f83be90361ef4 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Wed, 4 Mar 2015 13:09:43 -0500 Subject: [PATCH] Mark need to rework for Safari. --- unpacked/jax/output/CommonHTML/jax.js | 1 + 1 file changed, 1 insertion(+) diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js index 851b5db1a..e0e00bc65 100644 --- a/unpacked/jax/output/CommonHTML/jax.js +++ b/unpacked/jax/output/CommonHTML/jax.js @@ -1118,6 +1118,7 @@ if (obox.d < 0) { // // for negative depths, use a table to avoid unwanted baseline space + // FIXME: needs work in Safari. // HTML.addElement(stack,"mjx-block",{},[["mjx-table"]]); stack.firstChild.firstChild.appendChild(over);