sfHover = function() {
    var sfEls = document.getElementById("ja-cssmenu").getElementsByTagName("li");
    for (var i = 0; i < sfEls.length; ++i) {
        sfEls[i].onmouseover = function() {
            clearTimeout(this.timer);
            if (this.className.indexOf("sfhover") == -1)
                this.className += "sfhover";
        }
        sfEls[i].onmouseout = function() {
            this.timer = setTimeout(sfHoverOut.bind(this), 20);            
        }
    }
}
function sfHoverOut() {
    clearTimeout(this.timer);
    this.className = this.className.replace(new RegExp("sfhover\\b"), "");
}
if (window.attachEvent) window.attachEvent("onload", sfHover);