// JavaScript Document

/*
So this bit of JS was returning an error on line 20 in IE, so since we aren't using it I have it disabled. -dave

startList = function() { 
	if ((document.all&&document.getElementById)  && (navigator.platform.indexOf("Mac") == -1)) { 
	  navRoot = document.getElementById("leftnav"); 
	  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", "");
			}
		}
	  }
	  
  	  navRoot = document.getElementById("deptnav"); 
	  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=startList; */