Save 'isMini' value in the browser object

This commit is contained in:
dpvc 2010-08-08 15:10:24 +00:00
parent d5198047f2
commit c0bf484cb6
2 changed files with 4 additions and 4 deletions

File diff suppressed because one or more lines are too long

View File

@ -2147,7 +2147,7 @@
}, },
Opera: function (browser) { Opera: function (browser) {
var isMini = (navigator.appVersion.match("Opera Mini") != null); browser.isMini = (navigator.appVersion.match("Opera Mini") != null);
HTMLCSS.config.styles[".MathJax .merror"]["vertical-align"] = null; HTMLCSS.config.styles[".MathJax .merror"]["vertical-align"] = null;
HTMLCSS.Augment({ HTMLCSS.Augment({
operaHeightBug: true, operaHeightBug: true,
@ -2156,7 +2156,7 @@
zeroWidthBug: true, zeroWidthBug: true,
FontFaceBug: true, FontFaceBug: true,
PaddingWidthBug: true, PaddingWidthBug: true,
allowWebFonts: (browser.versionAtLeast("10.0") && !isMini ? "otf" : false) allowWebFonts: (browser.versionAtLeast("10.0") && !browser.isMini ? "otf" : false)
}); });
}, },