/* this function helps freakin' stupid non-CSS compliant older IE browsers do the drop down menus */
mainNav = function () {
	if (document.all&&document.getElementById) {
		navRoot = document.getElementById("main-option-list");
		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", "");
				}
			}
		}
	}
}
window.onload = mainNav;