// Corrects the floating menu from region menus in Firefox
function regionMenuFixer() {
	var idStart = "topId_";
	var componentContainer=document.getElementsByTagName("DIV");
	for(var i=0;i<componentContainer.length;i++)
	{
	     var id=componentContainer[i].id;
	     if((id.length >= idStart.length)&&(id.substring(0,idStart.length) == idStart))
	     {
	    	componentContainer[i].style.cssFloat = "left";
	     }
	}
}