www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 0b3454ce25eace2785d933baa2aeef8d2379b340
parent 6e46adc08fddc25d98e53dc2c21f96773c7551f9
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu, 20 Feb 2014 10:19:15 -0500

Merge branch 'issue744' into develop.  Issue #744.

Diffstat:
Munpacked/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 @@ -2902,7 +2902,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)