/* --- 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_POS1 = {
        //
	// item sizes for different levels of menu
	//
	//ORIG 'height': [24, 20, 20],
	//ORIG 'width': [120, 150, 150],
	'height': [24, 20, 20],
	'width': [120, 200, 200],
	//
	// 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
	//
	//orig 'block_top': [99, 23, 5],
	//orig 'block_left': [287, 0, 130],
	'block_top': [113, 25, 10],
	'block_left': [220, 25, 150],
	//
	// offsets between items of the same level
	//
	'top': [0, 21, 21],
	'left': [119, 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_STYLES1 = {
    //
    // default item state when it is visible but doesn't have mouse over
    //
    'onmouseout': [
        'color', ['#FFFFFF', '#000000', '#000000'], 
        //original 'background', ['#4682B4', '#46B446', '#B44646'],
        'background', ['#001b32', '#e4e4e4', '#e0ffff'],
        'textDecoration', ['none', 'none', 'none'],
        'fontWeight', ['normal', 'normal', 'normal'],
    ],
    //
    // state when item has mouse over it
    //
    'onmouseover': [
        'color', ['#FFFFFF', '#000000', '#000000'], 
        //original 'background', ['#5AA7E5', '#5AE55A', '#E55A5A'],
        'background', ['#5AA7E5', '#5AA7E5', '#5AA7E5'],
        'textDecoration', ['underline', 'none', 'none'],
        'fontWeight', ['normal', 'bold', 'normal'],
    ],
    //
    // state when mouse button has been pressed on the item
    //
    'onmousedown': [
        'color', ['#FFFFFF', '#000000', '#000000'], 
        'background', ['#5AA7E5', '#5AE55A', '#E55A5A'],
        'textDecoration', ['underline', 'none', 'none'],
        'fontWeight', ['normal', 'bold', 'normal'],
    ]
};