//Used for css dropdown menu for IE.

startList = function() {
if (document.all&&document.getElementById) {
navRoot = document.getElementById("nav");
divInRoot = navRoot.childNodes[0];
for (i=0; i<divInRoot.childNodes.length; i++) {node = divInRoot.childNodes[i];
if (node.nodeName=="LI") {
node.onmouseover=function() {this.className+=" over";}
node.onmouseout=function() {this.className=this.className.replace(" over", "");}}}}}
window.onload=startList;