var winW = 630, winH = 460;

if (parseInt(navigator.appVersion)>3) {
 if (navigator.appName=="Netscape") {
  winW = window.innerWidth;
  winH = window.innerHeight;
 }
 if (navigator.appName.indexOf("Microsoft")!=-1) {
  winW = document.body.offsetWidth;
  winH = document.body.offsetHeight;
 }
}
// document.write (
// "Fensterbreite: " +winW+"<br>"
// +"Fensterhöhe: " +winH);


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


// item sizes for different levels of menu
MENU_POS['height']     = [22, 22];
if (winW < 801) {
	MENU_POS['width']      = [110, 175];
	}
else if (winW < 1100) {
	MENU_POS['width']      = [142, 175];
}
else {
	MENU_POS['width']      = [180, 175];
}

// 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
if (winW < 801) {
	MENU_POS['block_top']  = [109, 28];
	}
else if (winW < 1100) {
	MENU_POS['block_top']  = [140, 28];
}
else {
	MENU_POS['block_top']      = [173, 28];
}

	MENU_POS['block_left'] = [1, 1];


	// offsets between items of the same level
	MENU_POS['top']        = [0, 27];
	if (winW < 801) {
		MENU_POS['left']       = [111, 0];
		}
	else if (winW < 1100) {
		MENU_POS['left']       = [143, 0];
	}
	else {
	MENU_POS['left']      = [177, 0];
	}

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

/* --- 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', ['#001437', '#ffe3c4'],

		'color', ['#ffe3c4', '#001437'],

	];



	// state when item has mouse over it

	MENU_STYLES['onmouseover'] = [

		'background', ['#001437', '#001437'],

		'color', ['#ffe3c4', '#ffe3c4'],

	];



	// state when mouse button has been pressed on the item

	MENU_STYLES['onmousedown'] = [

		'background', ['#001437', '#ffe3c4'],

		'color', ['#ffe3c4', '#001437'],

	];