/********************************************************/
// Add navigation classes if pseudo classes not handled
/********************************************************/

function IE_menu() {

	var agent = navigator.userAgent;
	var browser = navigator.appName;

	if (document.all && document.getElementById || (browser.indexOf("Netscape") != -1 && agent.indexOf("Netscape") != -1)) {
		// Get navigation list items
		var navRoot = document.getElementById("nav-header").getElementsByTagName("li");
		for (var i=0; i<navRoot.length; i++) {
			navRoot[i].onmouseover=function() {
				this.className+=" IEhover";
				}
			navRoot[i].onmouseout=function() {
				this.className=this.className.replace(new RegExp(" IEhover\\b"), "");
				}
			}
		}
	}