///////////////////////////////////
//     Onload event handler      //
///////////////////////////////////

Event.observe(document,'dom:loaded',function(){ 
		
	// Disable right click menu on DOM load.	
	// document.oncontextmenu = new Function("alert('This action has been disabled.'); return false");
	
	// Style Search Boxes
	displayPrettySearch();

});