From 71444850ca40598cb81b5f7c837b0a419fda81df Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Tue, 19 Aug 2014 16:30:55 -0400
Subject: [PATCH] Force separate web font names for bold, italic in WebKit. 
 Resolves issue #845.

---
 unpacked/jax/output/HTML-CSS/jax.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
index a095e8f59..4cf86ee76 100644
--- a/unpacked/jax/output/HTML-CSS/jax.js
+++ b/unpacked/jax/output/HTML-CSS/jax.js
@@ -2971,6 +2971,7 @@
           safariVerticalAlignBug: !v3p1,
           safariTextNodeBug: !v3p0,
           forceReflow: true,
+          FontFaceBug: true,
           allowWebFonts: (v3p1 && !forceImages ? "otf" : false)
         });
         if (trueSafari) {