From cfb40e91906d215fc00960e849664f5f81a06761 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 5 Mar 2014 09:51:41 -0500
Subject: [PATCH] Add one more font name to check for new web fonts locally.

---
 unpacked/jax/output/HTML-CSS/jax.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
index da00b16c8..5cd53cbaa 100644
--- a/unpacked/jax/output/HTML-CSS/jax.js
+++ b/unpacked/jax/output/HTML-CSS/jax.js
@@ -105,7 +105,8 @@
       //
       var family = font.familyFixed || font.family;
       if (!family.match(/^(STIX|MathJax)|'/)) {
-        family = family.replace(/_/g," ").replace(/([a-z])([A-Z])/g,"$1 $2") + "','" + family + "-";
+        family = family.replace(/_/g," ").replace(/([a-z])([A-Z])/g,"$1 $2").replace(/ Jax/,"Jax")
+               + "','" + family + "','" + family + "-";
         if (font.weight) {family += "Bold"}; if (font.style) {family += "Italic"}
         if (!font.weight && !font.style) {family += "Regular"}
         font.familyFixed = family = "'"+family+"'"