/* highlight and unhighlight check for MSIE before doing anything.

   If needed, they will highlight or unhighlight the toplevel item

   with id [element_id].  If a mouseover menu with id menu_[element_id]

   exists, they will display or hide it as well.



   Note that the handler for window.onLoad is disabled by default in IE

   on Windows XP SP2 systems as a potential security risk, so the

   automatic approach in the original code does not work. */



function highlight(element_id) {

	if (navigator.appName == "Microsoft Internet Explorer") {

		try {

			document.getElementById('menu_' + element_id).style.visibility="visible";

			document.getElementById('menu_' + element_id).className+=" msie_hack_state_selected";

		} catch (error) {}

		document.getElementById(element_id).className.replace("msie_hack_state_unselected","");

		document.getElementById(element_id).className+=" msie_hack_state_selected";

	}

}



function unhighlight(element_id) {

	if (navigator.appName == "Microsoft Internet Explorer") {

		try {

			document.getElementById('menu_' + element_id).style.visibility="hidden";

			document.getElementById('menu_' + element_id).className.replace("msie_hack_state_selected","");

		} catch (error) {}

		document.getElementById(element_id).className.replace("msie_hack_state_selected","");

		document.getElementById(element_id).className+="msie_hack_state_unselected";

	}

}