// JavaScript Document
<!-- Hide script from old browsers
ArchHover = function() {
	var ArchEls = document.getElementById("Arch").getElementsByTagName("li");
	for (var i=0; i<ArchEls.length; i++) {
		ArchEls[i].onmouseover=function() {
			this.className+=" Archhover";
		}
		ArchEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" Archhover\\b"), "");
		}
	}
}
if (window.attachEvent) window.attachEvent("onload", ArchHover);

ProgHover = function() {
	var ProgEls = document.getElementById("Prog").getElementsByTagName("li");
	for (var i=0; i<ProgEls.length; i++) {
		ProgEls[i].onmouseover=function() {
			this.className+=" Proghover";
		}
		ProgEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" Proghover\\b"), "");
		}
	}
}
if (window.attachEvent) window.attachEvent("onload", ProgHover);

InfoHover = function() {
	var InfoEls = document.getElementById("Info").getElementsByTagName("li");
	for (var i=0; i<InfoEls.length; i++) {
		InfoEls[i].onmouseover=function() {
			this.className+=" Infohover";
		}
		InfoEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" Infohover\\b"), "");
		}
	}
}
if (window.attachEvent) window.attachEvent("onload", InfoHover);

// End hiding script from old browsers -->