function is_child_of(parent, child) {
	if( child != null ) {			
		while( child.parentNode ) {
			if( (child = child.parentNode) == parent ) {
				return true;
			}
		}
	}
	return false;
}

function fixOnMouseOut(element, event, JavaScript_code) {
	var current_mouse_target = null;
	if( event.toElement ) {				
		current_mouse_target = event.toElement;
	} else if( event.relatedTarget ) {				
		current_mouse_target = event.relatedTarget;
	}
	if( !is_child_of(element, current_mouse_target) && element != current_mouse_target ) {
		eval(JavaScript_code);
	}
}

var Menu_Home_Setup = {

	init: function(){
		$$('#otmenuBottomContainer .menuContainer').each(function(element){
			element.down('div').style.height = element.down('div').down('div').getHeight() + "px";
			element.down('div').style.marginTop =  - element.getHeight() - 28 + "px";
			element.down('div').down('div').style.marginTop = element.down('div').down('div').getHeight() - element.down('div').down('div').down('div').getHeight() + "px";
		})
	}

};

var Menu_Marchi_Setup = {

	init: function(){
		$$('.otmenuMarchiContainer .menuContainer').each(function(element){
			if(element.getWidth() > element.down('div').getWidth()){
				element.down('div').style.width = element.getWidth() + "px";
				element.down('div').down('ul').style.width = element.getWidth() - 4 + "px";
			}
			else{
				element.style.width = element.down('div').getWidth() + "px";
			}
			
			element.down('div').style.height = element.down('div').down('ul').getHeight() + "px";
			element.down('div').style.marginTop =  - element.getHeight() + 0.1 + "px";
			element.down('div').down('ul').style.marginTop = element.down('div').down('ul').getHeight() + "px";
		})
	}

};

var Menu_Garden_Setup = {

	init: function(){
		$$('#otmenuBottom .container').each(function(element){
			element.down('div').style.height = element.down('div').getHeight() + "px";
			element.down('div').style.marginTop =  - (element.down('div').offsetHeight + element.down('a').getHeight()) + "px";
			element.down('div').down('div').style.marginTop = element.down('div').getHeight() + "px";
		})
	}

};