// JavaScript: preparing IE for image hovering in menu bars etc.

startList = function() {
	if (document.all&&document.getElementById) {
		navRoot = document.getElementById("nav");
			if (navRoot != null) {
			for (i=0; i<navRoot.childNodes.length; i++) {
				node = navRoot.childNodes[i];
				if (node.nodeName=="LI") {
					node.onmouseover=function() {
						this.className+=" over";
					}
					node.onmouseout=function() {
						this.className=this.className.replace(" over", "");
					}
				}
			}
		}
		
		// new for left navigation:
		lnavRoot = document.getElementById("leftnav");
		if (lnavRoot != null) {
			for (i=0; i<lnavRoot.childNodes.length; i++) {
				lnode = lnavRoot.childNodes[i];
				if (lnode.nodeName=="LI") {
					lnode.onmouseover=function() {
						this.className+=" over";
					}
					lnode.onmouseout=function() {
						this.className=this.className.replace(" over", "");
					}
				}
			}
		}
	}
}
window.onload=startList;