www

commit 8f5677f2de19664aff5578962d3f151c1b04712a
parent a26b6426feaffaddec688d0ef479956f3dedca33
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Fri, 27 Feb 2015 10:36:21 -0500

Remove unwanted '+' from @font-face declaration.

Diffstat:
M
unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js
@@ -1587,7 +1587,7 @@
       var family = "MJX_TeX_"+suffix; FONTS[name].className = "MJXc-TeX-"+suffix;
       STYLES[".MJXc-TeX-"+suffix] = {"font-family":family};
       font = {"font-family":family}; name = name.replace(/-.*/,"");
-      if (names[1] === "Regular") {font.src = "local('"+name+"'), local('"+name+"-Regular+')"}
+      if (names[1] === "Regular") {font.src = "local('"+name+"'), local('"+name+"-Regular')"}
         else {font.src = "local('"+name+" "+names[1]+"'), local('"+name+"-"+names[1]+"')"}
       faces.push(font);
     }}