No need for useProcessingFrame any more (just set styles on the MathJax span itself)

This commit is contained in:
Davide P. Cervone 2011-08-30 19:47:45 -04:00
parent 7b32411bf7
commit 0fbba16dbe

View File

@ -2223,7 +2223,6 @@
(HUB.config.root+"/").substr(0,root.length) === root) {webFonts = "otf"} (HUB.config.root+"/").substr(0,root.length) === root) {webFonts = "otf"}
} }
HTMLCSS.Augment({ HTMLCSS.Augment({
useProcessingFrame: true,
ffVerticalAlignBug: true, ffVerticalAlignBug: true,
AccentBug: true, AccentBug: true,
allowWebFonts: webFonts allowWebFonts: webFonts
@ -2248,7 +2247,6 @@
} }
} }
}, },
useProcessingFrame: true,
rfuzz: .05, rfuzz: .05,
AccentBug: true, AccentBug: true,
AdjustSurd: true, AdjustSurd: true,
@ -2261,7 +2259,6 @@
}); });
if (forceImages) { if (forceImages) {
// Force image mode for iOS prior to 4.2 and Droid prior to 2.2 // Force image mode for iOS prior to 4.2 and Droid prior to 2.2
// (iPhone should do SVG web fonts, but crashes with MathJax)
var config = HUB.config["HTML-CSS"]; var config = HUB.config["HTML-CSS"];
if (config) {config.availableFonts = []; config.preferredFont = null} if (config) {config.availableFonts = []; config.preferredFont = null}
else {HUB.config["HTML-CSS"] = {availableFonts: [], preferredFont: null}} else {HUB.config["HTML-CSS"] = {availableFonts: [], preferredFont: null}}
@ -2270,7 +2267,6 @@
Chrome: function (browser) { Chrome: function (browser) {
HTMLCSS.Augment({ HTMLCSS.Augment({
useProcessingFrame: true,
rfuzz: .05, rfuzz: .05,
AccentBug: true, AccentBug: true,
AdjustSurd: true, AdjustSurd: true,
@ -2284,7 +2280,6 @@
browser.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({
useProcessingFrame: true,
operaHeightBug: true, operaHeightBug: true,
operaVerticalAlignBug: true, operaVerticalAlignBug: true,
operaFontSizeBug: browser.versionAtLeast("10.61"), operaFontSizeBug: browser.versionAtLeast("10.61"),