Make About box show 'woff or otf' when otf fonts are used (since both are requested).

This commit is contained in:
Davide P. Cervone 2012-09-24 20:46:43 -04:00
parent be28147f2d
commit 173911d606

View File

@ -607,7 +607,8 @@
MENU.About.GetJax(jax,MathJax.Extension,"Extension",true); MENU.About.GetJax(jax,MathJax.Extension,"Extension",true);
jax.push(["div",{style:{"border-top":"groove 2px",margin:".25em 0"}}],["center",{},[ jax.push(["div",{style:{"border-top":"groove 2px",margin:".25em 0"}}],["center",{},[
HUB.Browser + " v"+HUB.Browser.version + HUB.Browser + " v"+HUB.Browser.version +
(HTMLCSS.webFonts && !HTMLCSS.imgFonts ? " \u2014 "+HTMLCSS.allowWebFonts+" fonts" : "") (HTMLCSS.webFonts && !HTMLCSS.imgFonts ? " \u2014 " +
HTMLCSS.allowWebFonts.replace(/otf/,"woff or otf") + " fonts" : "")
]]); ]]);
MENU.About.div = MENU.Background(MENU.About); MENU.About.div = MENU.Background(MENU.About);
var about = HTML.addElement(MENU.About.div,"div",{ var about = HTML.addElement(MENU.About.div,"div",{