// used for tidying up search box in safari and opera 
if (navigator.userAgent.toLowerCase().indexOf("opera") != -1 && document.getElementById) {		
	document.getElementById("search").style.paddingTop = 0;	
}
if (navigator.userAgent.toLowerCase().indexOf("safari") != -1 && document.getElementById) {		
	document.getElementById("searchp").style.marginTop = "3px";
	document.getElementById("search").style.paddingTop = 0;
}