/* script to set up search widget based on browser;
 * Author: Ado Tijsseling http://kung-foo.tv/ 
 */


function addLoadEvent(func)
{
  var oldonload = window.onload;
  if (typeof window.onload != 'function')
  {
    window.onload = func;
  }
  else
  {
    window.onload = function()
    {
      oldonload();
      func();
    }
  }
}


function setupSearch()
{
  if ( !document.getElementById ) return;
  if (navigator.userAgent.indexOf("Safari") > 0)
  {
    var searchTxt = document.getElementById("searchtext");
    if ( searchTxt )
      searchTxt.parentNode.removeChild(searchTxt);
    var searchBtn = document.getElementById("searchbutton");
    if ( searchBtn )
      searchBtn.parentNode.removeChild(searchBtn);
  }
}

addLoadEvent(setupSearch);