if (navigator.platform.indexOf("Mac") != -1 && navigator.userAgent.indexOf(") Gecko") != -1) {
    document.write("<style type'text/css'>");
    document.write("#nav ul.navigation a {padding: 8px 18px;}");
    document.write("<\/style>");
}

if (navigator.platform.indexOf("Mac") != -1 && navigator.userAgent.indexOf("Safari") != -1) {
    document.write("<style type'text/css'>");
    document.write("#nav ul.navigation a {padding: 8px 18px;}");
    document.write("<\/style>");
}