diff --git a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js index d29f15c9e..e680aace7 100644 --- 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); }}