Merge branch 'issue1211' into develop. Issue #1211.

This commit is contained in:
Davide P. Cervone 2015-07-23 08:06:54 -04:00
commit 414ae76423

View File

@ -103,7 +103,7 @@
// This should be removed when the web fonts are fixed. FIXME
//
var family = font.familyFixed || font.family;
if (!family.match(/^(STIX|MathJax)|'/)) {
if (!font.isWebFont && !family.match(/^(STIX|MathJax)|'/)) {
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"}
@ -213,6 +213,7 @@
var type = HTMLCSS.allowWebFonts;
var FONT = HTMLCSS.FONTDATA.FONTS[name];
if (HTMLCSS.msieFontCSSBug && !FONT.family.match(/-Web$/)) {FONT.family += "-Web"}
if (FONT.isWebFont) delete FONT.familyFixed;
var webfonts = HTMLCSS.webfontDir+"/"+type;
var dir = AJAX.fileURL(webfonts);
var fullname = name.replace(/-b/,"-B").replace(/-i/,"-I").replace(/-Bold-/,"-Bold");