/*
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 " + this.className;
        }
        sfEls[i].onmouseout = function() { // Remove hover CSS class
        this.className = this.className.replace(new RegExp("sfhover\\b "), "").replace(new RegExp("sfhover\\b"), "");
        }
    }
}