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

/* var minleftborder;minleftborder=11 */
/* var leftborder;leftborder=(document.body.clientWidth>770+2*minleftborder) ? (document.body.clientWidth-770)/2 : minleftborder; */
/* var browserwidth;browserwidth=(document.body.clientWidth>770+2*minleftborder) ? 770+2*minleftborder : document.body.clientWidth; */
/* #IF jun 2005 upgraded menu to version 2, sorted out re-sizing problem using javascript below: */
var myleft;
if (document.body.offsetWidth < 792){myleft = 162;} else {myleft = ((document.body.offsetWidth-792)/2)+151;}
window.onresize = function () {document.location.reload();}

var MENU_POS = [
{
	'height' : 20,
	'width' : 102,
	'block_top' : 56,
	'block_left' : myleft,
	'top' : 0,
	'left' : 103,
	'hide_delay' : 200,
	'css' : {
		'outer': ['m0l0oout', 'm0l0oover'],
		'inner': ['m0l0iout', 'm0l0iover']
	}
},
{
	'height' : 20,
	'width' : 200,
	'block_top' : 21,
	'block_left' : 0,
	'top' : 21,
	'left' : 0,
	'hide_delay' : 200,
	'css': {
		'outer' : ['m0l1oout', 'm0l1oover'],
		'inner' : ['m0l1iout', 'm0l1iover']
	}
	
},
{
	'height' : 20,
	'width' : 200,
	'block_top' : 0,
	'block_left' : 201,
	'top' : 21,
	'left' : 0,
	'hide_delay' : 200,
	'css': {
		'outer': ['m0l2oout', 'm0l2oover'],
		'inner': ['m0l1iout', 'm0l2iover']
	}	
}
]