commit f6bf4c13e3a2f60e7f1fe22ac2d328c772091191
parent e33e00bfaf0a232e403b12b37d1d815afa31971e
Author: Davide P. Cervone <dpvc@union.edu>
Date: Sun, 7 Dec 2014 07:09:49 -0500
Merge branch 'issue931' into develop. Issue #931.
Diffstat:
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/unpacked/MathJax.js b/unpacked/MathJax.js
@@ -3105,13 +3105,17 @@ MathJax.Hub.Startup = {
Safari: function (browser) {
var v = parseInt((String(browser.version).split("."))[0]);
if (v > 85) {browser.webkit = browser.version}
- if (v >= 534) {browser.version = "5.1"}
+ if (v >= 538) {browser.version = "8.0"}
+ else if (v >= 537) {browser.version = "7.0"}
+ else if (v >= 536) {browser.version = "6.0"}
+ else if (v >= 534) {browser.version = "5.1"}
else if (v >= 533) {browser.version = "5.0"}
else if (v >= 526) {browser.version = "4.0"}
else if (v >= 525) {browser.version = "3.1"}
else if (v > 500) {browser.version = "3.0"}
else if (v > 400) {browser.version = "2.0"}
else if (v > 85) {browser.version = "1.0"}
+ browser.webkit = (navigator.appVersion.match(/WebKit\/(\d+)\./))[1];
browser.isMobile = (navigator.appVersion.match(/Mobile/i) != null);
browser.noContextMenu = browser.isMobile;
},
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -2999,6 +2999,7 @@
}
}
},
+ Em: ((browser.webkit||0) >= 538 ? HTMLCSS.EmRounded : HTMLCSS.Em), // issue #931
rfuzz: .011,
AccentBug: true,
AdjustSurd: true,