From 2c303a8850ae2ff6b287714980a5d2b67d951dd7 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Wed, 19 Feb 2014 19:25:23 -0500 Subject: [PATCH] Change fuzz factor for Chrome square roots. Resolves issue #744. --- 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 index c3eb585c1..e100632be 100644 --- 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)