// <![CDATA[
function $() {
  var elements = new Array();

  for (var i = 0; i < arguments.length; i++) {
    var element = arguments[i];
    if (typeof element == 'string')
      element = document.getElementById(element);

    if (arguments.length == 1)
      return element;

    elements.push(element);
  }

  return elements;
}
function isSafari(){
return (navigator.userAgent.toLowerCase().indexOf("safari")!==-1);
}
if (isSafari() && $('search_box')) $('search_box').className='safari';

// ]]>