From 3f3f27005ac669f64a7844fddd080d71645bf0c6 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sat, 6 Dec 2014 20:24:41 -0500
Subject: [PATCH] IE9+ has a name limits of 31 for font-family, so the long
 names cause problems; fortunately, FontFaceBug is only needed for IE8 and
 below, so make that be version dependent.  Resolves issue #950.

---
 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
index 3e2de6c49..63317a091 100644
--- a/unpacked/jax/output/HTML-CSS/jax.js
+++ b/unpacked/jax/output/HTML-CSS/jax.js
@@ -2959,7 +2959,7 @@
           msieNegativeBBoxBug: (mode >= 8),  // negative bboxes have positive widths
           msieIE6: !isIE7,
           msieItalicWidthBug: true,
-          FontFaceBug: true,
+          FontFaceBug: (mode < 9),
           msieFontCSSBug: browser.isIE9,
           allowWebFonts: (mode >= 9 ? "woff" : "eot")
         });