diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js index eba9c5d22..54863d260 100644 --- a/unpacked/jax/output/CommonHTML/jax.js +++ b/unpacked/jax/output/CommonHTML/jax.js @@ -324,8 +324,9 @@ if (type.substr(0,4) === "mjx-") { if (!def) def = {}; if (def.className) def.className = type+" "+def.className; else def.className = type; + type = "span"; } - return this.HTMLElement("span",def,content); + return this.HTMLElement(type,def,content); }, addElement: function (node,type,def,content) { return node.appendChild(this.Element(type,def,content));