jQuery(function($)
{
  try
  {
    $("#menu").show("slow"); 
    $("#nav").show("slow");  
  }
  catch(e)
  {
    $("#menu")[0].style.display="block";
    $("#nav")[0].style.display="block";
  }
  var url=location.href;
  var links = $("#nav > span >a");
  for(var i=0;i<links.length;i++)
  {
    if(links[i].href==url)
    {
      links[i].style.padding="4px 10px";    
    }
   }
});