From ae0f3fe3b3bde2164309aab5f6ae1072d4bd891d Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Sat, 6 Dec 2014 18:00:31 -0500 Subject: [PATCH] Add more version information for Safari, and use Em rounding for Safari 8.0 (also 6.2, 7.1, which have the same WebKit version). Resolves issue #931. --- unpacked/MathJax.js | 6 +++++- unpacked/jax/output/HTML-CSS/jax.js | 1 + 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/unpacked/MathJax.js b/unpacked/MathJax.js index ee6e21ce9..a8bcda3a6 100644 --- 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 index 3e2de6c49..3aef17ba1 100644 --- 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,