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

	
// item sizes for different levels of menu
	
MENU_POS0['height']     = [20];
	
MENU_POS0['width']      = [190];

	
// 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_POS0['block_top']  = [0];
	
MENU_POS0['block_left'] = [197];

	
// offsets between items of the same level
	
MENU_POS0['top']        = [0];
	
MENU_POS0['left']       = [151];

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

	
// path to gif containing one transparent pixel
	
MENU_POS0['pixel_path'] = 'pixel.gif';