www

commit 0a04a6ce19b9ed2db6160eaa0c7af9444860f822
parent ca196c8e0d318eca9ed4df3a48bc9717a5d832db
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Sun, 14 Sep 2014 10:33:06 -0400

Don't clip left or right-hand sides, only top and bottom (which are what need clipping to hide exctra height/depth, and prevent the positioning spans from overlaying the material above).  Resolves issue #807, and may hekp issue #646.

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

1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -1186,9 +1186,7 @@
         if (!this.msieClipRectBug && !bbox.noclip && !noclip) {
           var dd = 3/this.em;
           var H = (bbox.H == null ? bbox.h : bbox.H), D = (bbox.D == null ? bbox.d : bbox.D);
-          var t = HH - H - dd, b = HH + D + dd, l = bbox.lw - 3*dd, r = 1000;
-          if (this.initialSkipBug && bbox.lw < 0) {l = -3*dd}
-          if (bbox.isFixed) {r = bbox.width-l}
+          var t = HH - H - dd, b = HH + D + dd, l = -1000, r = 1000;
           span.style.clip = "rect("+this.Em(t)+" "+this.Em(r)+" "+this.Em(b)+" "+this.Em(l)+")";
         }
       }