// JavaScript Document
    if(navigator.userAgent.indexOf('Mac') != -1)
    {document.write ('<style type="text/css">#headerTABS a {padding: 12px 19px;}</style>');}