www

commit ea16da464104f189568b77fd98716b1780dc77b1
parent 1cfbeaf41d7c3774b82fcc5cd21ef268cb5781de
Author: Sean Hogan <shogun70@gmail.com>
Date:   Mon, 22 Nov 2010 23:12:01 +1100

Place HDMspan for getScales() in its own position:fixed frame.

Diffstat:
M
unpacked/jax/output/HTML-CSS/jax.js
 | 
8
++++++--

1 file changed, 6 insertions(+), 2 deletions(-)
diff --git 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},