www

commit 3837d8db0e1a31ca752df014f6d7576802860f36
parent 6d6cb379232483d2a0926feb82bad42195712d43
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Tue, 22 Apr 2014 06:30:55 -0400

Make Chrome > 32.0 get bold-italic correctly.  Issue #735.

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
@@ -2978,7 +2978,7 @@
           rfuzz: -.02,
           AccentBug: true,
           AdjustSurd: true,
-          FontFaceBug: (browser.version.substr(0,3) === "32."), // Chrome 32 fails on bold-italic (#735)
+          FontFaceBug: browser.versionAtLeast("32.0"), // Chrome 32 fails on bold-italic (#735)
           negativeBBoxes: true,
           safariNegativeSpaceBug: true,
           safariWebFontSerif: [""],