/*
Adds or removes a CSS class for hovering menu items of a dropdownmenu
*/
function sfHover() {
    var sfEls = document.getElementById("menu").getElementsByTagName("LI");
    for (var i = 0; i < sfEls.length; i++) {
        sfEls[i].onmouseover = function() { // Add hover CSS class
            this.className += " sfhover";
        }
        sfEls[i].onmouseout = function() { // Remove hover CSS class
            this.className = this.className.replace(new RegExp(" sfhover\\b"), "").replace(new RegExp("sfhover\\b"), "");
        }
    }
}