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

	// item sizes for different levels of menu
	MENU_POS1['height']     = [24];
	MENU_POS1['width']      = [134];

	// 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_POS1['block_top']  = [129];
	MENU_POS1['block_left'] = [509];

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

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

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