commit e72eef13c5686966b5417130306f83be90361ef4
parent 23b66a9ae9d098f5b2a053b0ba35551a951c0b41
Author: Davide P. Cervone <dpvc@union.edu>
Date: Wed, 4 Mar 2015 13:09:43 -0500
Mark need to rework for Safari.
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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);