/* (c) 2009 zahnarztpraxis-kruchten.de */

// check if search box contains text and don't allow to proceed if empty
function gsearch_not_empty() {
  return (document.getElementsByName("q")[0].value.length > 0);
}
// un-hide search box if javascript is enabled
document.getElementById("searchspan").style.display = "inline";
document.getElementById("fixnav_span").style.display = "inline";