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

	// item sizes for different levels of menu
	MENU_POS0['height']     = [25, 30, 30, 25];
	MENU_POS0['width']      = [100, 100, 100, 140];

	// 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, 25, 0, 0];
	MENU_POS0['block_left'] = [0, 0, 100, 100];

	// offsets between items of the same level
	MENU_POS0['top']        = [0, 30, 30, 25];
	MENU_POS0['left']       = [100, 0, 0, 0];

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

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