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

// item sizes for different levels of menu
	MENU_POS['height']     = [20, 23, 23];
	MENU_POS['width']      = [134, 160, 160];

// 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
	MENU_POS['block_top']  = [114, 23, 0];
	MENU_POS['block_left'] = [3, 15, 160];

// offsets between items of the same level
	MENU_POS['top']        = [0, 22, 22];
	MENU_POS['left']       = [135, 0, 0];

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

/* --- 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 = new Array();

// default item state when it is visible but doesn't have mouse over
	MENU_STYLES['onmouseout'] = [
		'background', ['#6090BF', '#C0C0C0', '#003366'],
		'color', ['#FFFFFF', '#000000', '#FFFFFF'],
	];


// state when item has mouse over it
	MENU_STYLES['onmouseover'] = [
		'background', ['#FFFFFF', '#6090BF', '#F0F0F0'],
		'color', ['#6090BF', '#FFFFFF', '#003366'],
	];


// state when mouse button has been pressed on the item
	MENU_STYLES['onmousedown'] = [
		'background', ['#003366', '#003366', '#003366'],
		'color', ['#FFFFFF', '#FFFFFF', '#FFFFFF'],
	];