diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js index 0b48f9ae2..f98cc4b2c 100644 --- a/unpacked/jax/output/CommonHTML/jax.js +++ b/unpacked/jax/output/CommonHTML/jax.js @@ -1882,7 +1882,7 @@ // something, so put them over a space and remove the space's width // node = node.firstChild; - var space = CHTML.Element("mjx-span",{style:{width:".25em","margin-left":"-.25em"}}); + var space = CHTML.Element("mjx-box",{style:{width:".25em","margin-left":"-.25em"}}); node.insertBefore(space,node.firstChild); }, CHTMLcenterOp: function (node) {