www

commit cfb40e91906d215fc00960e849664f5f81a06761
parent 81d9cce510adf75b65256bc2570c782c7c12ba71
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed,  5 Mar 2014 09:51:41 -0500

Add one more font name to check for new web fonts locally.

Diffstat:
M
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
@@ -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+"'"