if (is_safari == 1) 
{
document.write("<div id='menu' style='padding-top:2px; padding-bottom:2px'>")
}
else
{
document.write("<div id='menu'>")
}