/* --- geometry and timing of the menu --- */
var MENU_POS = new Array();

//	MENU_POS['height']     = [20, 20];
//	MENU_POS['width']      = [180, 170];
	MENU_POS['height']     = [25, 25];
	MENU_POS['width']      = [180, 170];

	MENU_POS['block_top']  = [144, 0];
	MENU_POS['block_left'] = [4, 181];

	MENU_POS['top']        = [27,27];
	MENU_POS['left']       = [0, 0];

	// time in milliseconds before menu is hidden after cursor has gone out
	// of any items
	MENU_POS['hide_delay'] = [200, 200];

/* --- dynamic menu styles ---*/
var MENU_STYLES = new Array();

	MENU_STYLES['onmouseout'] = [
		'background', ['#007fc4', '#00a059'],
		'color', ['#ffffff', '#ffffff'],
	];

	MENU_STYLES['onmouseover'] = [
		'background', ['#ffffff', '#ffffff'],
		'color', ['#000099', '#000099'],
	];

	MENU_STYLES['onmousedown'] = [
		'background', ['#007fc4', '#00a059'],
		'color', ['#ffffff', '#ffffff'],
	];