diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js index 7f48cbd0a..ede76cfa9 100644 --- a/unpacked/jax/output/HTML-CSS/jax.js +++ b/unpacked/jax/output/HTML-CSS/jax.js @@ -333,6 +333,8 @@ // Used in getScales this.HDMspan = this.Element("span",{style: {position:"absolute", "font-size-adjust":"none"}}); + this.HDMframe = this.Element("span", {className: "MathJax_Processing"}); + this.HDMframe.appendChild(this.HDMspan); if (this.msieInlineBlockAlignBug) { this.HDMimg = this.addElement(this.HDMspan,"img",{ style:{ @@ -464,7 +466,8 @@ }, getScales: function (span,mj) { - span.parentNode.insertBefore(this.HDMspan,span); + // span.parentNode.insertBefore(this.HDMspan,span); + span.parentNode.insertBefore(this.HDMframe,span); this.HDMspan.className = ""; this.HDspan.id = ""; this.HDMspan.style.fontSize = ""; this.HDMimg.style.height = "1px"; this.HDMimg.style.width = "60ex"; var ex = this.HDMspan.offsetWidth/60; @@ -478,7 +481,8 @@ // Opera 10.61 doesn't seem to process the fontSize setting above, so adjust manually this.em = MML.mbase.prototype.em = em * scale/100; } - span.parentNode.removeChild(this.HDMspan); + //span.parentNode.removeChild(this.HDMspan); + span.parentNode.removeChild(this.HDMframe); this.msieMarginScale = this.getMarginScale(mj); }, getMarginScale: function (span) {return 1},