// For banner.html
// Workaround for browsers like IE that do not support div:hover
//
startList = function() {
    if (document.all&&document.getElementById) {
        navRoot = document.getElementById("banner");
        for (i=0; i<navRoot.childNodes.length; i++) {                	
            node = navRoot.childNodes[i];
            if (node.nodeName=="DIV") {
                node.onmouseover=function() {
                    this.className+=" over";
                }                                
                node.onmouseout=function() {
                    this.className=this.className.replace (" over", "");
                }
            }
        }
    }
}
window.onload=startList;