www

commit 71444850ca40598cb81b5f7c837b0a419fda81df
parent 3ca32dc64b3477875709c0a0f5f2ed3ee0b75c40
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Tue, 19 Aug 2014 16:30:55 -0400

Force separate web font names for bold, italic in WebKit.  Resolves issue #845.

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
@@ -2971,6 +2971,7 @@
           safariVerticalAlignBug: !v3p1,
           safariTextNodeBug: !v3p0,
           forceReflow: true,
+          FontFaceBug: true,
           allowWebFonts: (v3p1 && !forceImages ? "otf" : false)
         });
         if (trueSafari) {