www

commit 2c303a8850ae2ff6b287714980a5d2b67d951dd7
parent 9bed66913514c8487715d78a929171f926ec0d2d
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed, 19 Feb 2014 19:25:23 -0500

Change fuzz factor for Chrome square roots.  Resolves issue #744.

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
@@ -2885,7 +2885,7 @@
         HTMLCSS.Augment({
           Em: HTMLCSS.EmRounded,   // vertical alignment needs help (since around v20)
           cloneNodeBug: true,      // Chrome gets heights wrong with the cloned ones
-          rfuzz: .011,
+          rfuzz: -.02,
           AccentBug: true,
           AdjustSurd: true,
           FontFaceBug: (browser.version.substr(0,3) === "32."), // Chrome 32 fails on bold-italic (#735)