var YourBrowserIsBroken = (navigator.userAgent.toLowerCase().indexOf("msie") != -1);

if (YourBrowserIsBroken) {
	document.write('<link rel="stylesheet" type="text/css" href="/css/menu_gif.css" />');
	document.write('<script type="text/javascript" src="/menu_driver.js">');
	document.write('<\/script>');
}
else {
	document.write('<link rel="stylesheet" type="text/css" href="/css/menu_png.css" />');
}

function menuMouseOver(obj,event_obj,label) {
	// No need to do this for sane browsers
	if (YourBrowserIsBroken) {
		dropdownmenu(obj,event_obj,label);
	}
}

function liToggle(node) {
	if (node.parentNode.className == 'liOpen') {
		node.parentNode.className = 'liClosed';
	}
	else if (node.parentNode.className == 'liClosed') {
		node.parentNode.className = 'liOpen';
	}
	return false;
}

var prev_state = 'visible';
function selectToggle(selectState) {
	// no point running the loop if the status is unchanged
	//if (prev_state == selectState) { return false; }

	prev_state = selectState;

	var selects = document.getElementsByTagName("SELECT");

	for (var i = 0; i < selects.length; i++) {
		selects[i].style.visibility = selectState;
	}

	return false;
}

function page_help(path) {
	window.open("/help/view_help?id=" + path ,
		"js",
		"location=no, toolbar=no, menubar=no, directories=no, status=no, resizable=yes, scrollbars=yes, height=400, width=400");
}