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);