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

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

// 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']  = [285, 5];
MENU_POS['block_left'] = [13, 110];

// offsets between items of the same level
MENU_POS['top']        = [20, 19];
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 ---
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', ['#C8C8FF', '#C8C8FF'],
'color', ['#000000', '#000000'],
'border', ['1px solid #C8C8FF', '1px solid #3333FF'],

];

// state when item has mouse over it
MENU_STYLES['onmouseover'] = [
'background', ['#9090FF', '#8080FF'],
'color', ['#FFFFFF', '#FFFFFF'],
'border', ['1px solid #2828DB', '1px solid #3333FF'],

];

// state when mouse button has been pressed on the item
MENU_STYLES['onmousedown'] = [
'background', ['#FFFF99', '#FFFF99'],
'color', ['#CC0000', '#CC0000'],
'border', ['1px solid #CC0000', '1px solid #CC0000'],

];