if (navigator.platform.indexOf("Mac")>=0) { document.documentElement.className = "mac"; }
if (navigator.vendor.indexOf("Apple")>=0) { document.documentElement.className = "safari"; }