function fixup()
{
  if(navigator.userAgent.indexOf("WebKit") != -1)
  {
    window.document.body.className = "safari";
  }
  else if(navigator.userAgent.indexOf("Firefox") != -1)
  {
    window.document.body.className = "firefox";
  }
}