/* --- geometry and timing of the menu --- 
	values are the lists with parameters for different menu levels
	for this menu: [blue_level, green_level, red_level]
*/
var MENU_POS = {
	// item sizes for different levels of menu
	'height': [15, 20, 20],
	'width': [110, 118, 110],
	// menu block offset from the origin:
	//	for root level origin is upper left corner of the page
	//	for other levels origin is upper left corner of parent item
	'block_top': [0, 24, 5],
	'block_left': [0, 0, 80],
	// offsets between items of the same level - distanza tra i livelli
	'top': [0, 25, 23],
	'left': [120, 0, 0],
	// time in milliseconds before menu is hidden after cursor has gone out
	// of any items
	'hide_delay': [200, 200, 200]
};

/* --- dynamic menu styles ---
note: you can add as many style properties as you wish but be not all browsers
are able to render them correctly. The only relatively safe properties are
'color' and 'background'.
*/
var MENU_STYLES = {
	// default item state when it is visible but doesn't have mouse over
	'onmouseout': [
		'color', ['#231f58', '#FFF', '#FFF'], 
		'textDecoration', ['none', 'none', 'none'],
		'textAlign', ['center', 'left', 'left'],
		'fontWeight', ['bold', 'normal', 'normal'],

		'backgroundColor',['','#231f58','#231f58'],
		
		'paddingTop', ['2px','2px','2px'],
		'paddingBottom', ['2px','2px','2px'],
		'paddingLeft', ['5px','1px','5px'],
		'paddingRight', ['5px','1px','5px'],

		'borderRightWidth',['1px','1px','1px'],
		'borderLeftWidth',['0px','0px','0px'],
		'borderTopWidth',['0px','0px','0px'],
		'borderBottomWidth',['5px','0px','0px'],

		'borderColor', ['#231f58', '#231f58', '#231f58'], 
		'borderStyle', ['solid', 'solid', 'solid'],
	],
	// state when item has mouse over it
	'onmouseover': [
		'color', ['#FFF', '#3ca1c1', '#3ca1c1'], 
	],
	// state when mouse button has been pressed on the item
	'onmousedown': [
		'color', ['#231f58', '#FFF', '#231f58'], 
	]
};