Work around a bug new in Opera 10.61 that causes it to get the em-size wrong (resolves bug 3054207)

git-svn-id: https://mathjax.svn.sourceforge.net/svnroot/mathjax/trunk@594 b8fd5906-0fad-46e2-a0d3-10d94ff285d1
This commit is contained in:
Davide Cervone 2010-08-27 16:27:41 +00:00
parent 71ac366cad
commit b2cdb55231
2 changed files with 7 additions and 2 deletions

File diff suppressed because one or more lines are too long

View File

@ -466,6 +466,10 @@
var scale = Math.floor((ex/this.TeX.x_height) / em * this.config.scale);
mj.style.fontSize = this.HDMspan.style.fontSize = scale+"%";
this.em = MML.mbase.prototype.em = this.HDMspan.offsetWidth/60;
if (this.operaFontSizeBug && em === this.em && scale !== 100) {
// Opera 10.61 doesn't seem to process the fontSize setting above, so adjust manually
this.em = MML.mbase.prototype.em = em * scale/100;
}
span.parentNode.removeChild(this.HDMspan);
this.msieMarginScale = this.getMarginScale(mj);
},
@ -2157,6 +2161,7 @@
HTMLCSS.Augment({
operaHeightBug: true,
operaVerticalAlignBug: true,
operaFontSizeBug: browser.versionAtLeast("10.61"),
negativeSkipBug: true,
zeroWidthBug: true,
FontFaceBug: true,