/* Fonction pour compenser le fait que IE ne gère pas la pseudo-classe :hover
   Pour le menu du haut, rajoute la classe "sfhover" aux éléments <li> qui sont survolés
   Pour le menu de gauche, rajoute le préfixe "hover-" à la classe des éléments <li> qui sont survolés
*/

sfHover = function() {
    /* Pour le menu du haut */
    var sfEls = document.getElementById("menu-haut").getElementsByTagName("li");
    for (var i=0; i < sfEls.length; i++) {
            sfEls[i].onmouseover = function() {
            this.className += " sfhover";
            }
            sfEls[i].onmouseout=function() {
                this.className = this.className.replace(new RegExp(" sfhover\\b"), "");
            }
    }

    /* Pour le menu de gauche */
    var sfEls = document.getElementById("menu-gauche").getElementsByTagName("li");
    for (var i=0; i < sfEls.length; i++) {
        sfEls[i].onmouseover=function() {
            this.className = this.className.replace(new RegExp("level"), "hover-level");
        }
        sfEls[i].onmouseout=function() {
            this.className = this.className.replace(new RegExp("hover-level"), "level");
        }
    }
}

if (window.attachEvent)
    window.attachEvent("onload", sfHover);