www

commit ebdbe6f04d7557e2aea5e7c28317a326fd361567
parent 126bd1c3736b6ed1a2645b8cb64ec0ffa4253a58
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed, 12 Feb 2014 11:02:03 -0500

Chrome 32 doesn't load bold-italics properly, so use FontFaceBug to get around that.  Issue #735.

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

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -2895,6 +2895,7 @@
           rfuzz: .011,
           AccentBug: true,
           AdjustSurd: true,
+          FontFaceBug: (browser.version.substr(0,3) === "32."), // Chrome 32 fails on bold-italic (#735)
           negativeBBoxes: true,
           safariNegativeSpaceBug: true,
           safariWebFontSerif: [""],