// deze functie voegt in IE een extra class: over toe. 
// Dit is nodig om in IE het menu rollover goed te laten werken
 
startList = function() {
    if (document.all&&document.getElementById) {
        doSettings(document.getElementById("nav"));
        doSettings(document.getElementById("facetNav"));
    }
}

doSettings = function(navRoot) {
    if (navRoot != null) {
        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;