/* --- get window size --- */
var winW = 840;
var desp = 840;
if (parseInt(navigator.appVersion)>3) {
 if (navigator.appName=="Netscape") {
  if (window.innerWidth>desp) {
  winW = window.innerWidth;
  }
 }
 if (navigator.appName.indexOf("Microsoft")!=-1) {
  if (document.body.offsetWidth>desp) {
  winW = document.body.offsetWidth;
  }
 }
}

/* --- geometry and timing of the menu --- */

var MENU_POS1 = {
		// item sizes for different levels of menu
	'height': [29, 29, 29],
	'width': [140, 140, 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
	'block_top': [0, 29, 0],
	'block_left': [(winW-desp)/2, 0, 141],
		// offsets between items of the same level
	'top': [0, 29, 29],
	'left': [140, 0, 0],
		// time in milliseconds before menu is hidden after cursor has gone out
		// of any items
	'hide_delay': [400, 400, 400]
};

/* --- dynamic menu styles ---*/
var MENU_STYLES1 = {

// default item state when it is visible but doesn't have mouse over
	'onmouseout': [
		'textDecoration', ['none', 'none', 'none'],
		'color', ['#000000', '#000000', '#000000'],
		'fontWeight', ['normal', 'normal', 'normal'],
		'background', ['#ffffff', '#ffffff', '#ffffff']
	],
// state when item has mouse over it
	'onmouseover': [
		'textDecoration', ['underline', 'none', 'none'],
		'fontWeight', ['bold', 'bold', 'bold'],
		'background', ['#0000ff', '#0000ff', '#0000ff']
	],
// state when mouse button has been pressed on the item
	'onmousedown': [
		'textDecoration', ['underline', 'none', 'none'],
		'fontWeight', ['normal', 'normal', 'normal'],
		'background', ['#ff0000', '#ff0000', '#ff0000']
	]
};