www

commit b1b6861a6ca44404b2807acc22508c3397c38041
parent 922eabdf720cdcc19545148bff2d6e1fcc112c10
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Tue,  4 Aug 2015 09:23:03 -0400

Use px rather than em for frames as well.  Resolves issue #1095 in Safari.

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

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -1159,7 +1159,7 @@
       if (this.msieFrameSizeBug) {if (w < T) {w = T}; if (h+d < T) {h = T-d}}
       if (this.msieBorderWidthBug) {T = 0}
       var H = this.Em(h+d-T), D = this.Em(-d-t), W = this.Em(w-T);
-      var B = this.Em(t)+" "+style;
+      var B = this.Px(t)+" "+style;
       var frame = this.addElement(span,"span",{
         style: {border: B, display:"inline-block", overflow:"hidden", width:W, height:H},
         bbox: {h:h, d:d, w:w, rw:w, lw:0, exactW:true}, noAdjust: true, HH:h+d, isMathJax:true