/* DOM based drop down menu code required for IE 5+ Win / Mac */
sfHover = function() {
    var sfMenu = document.getElementById("menu");
    if (sfMenu != null) {
        var sfEls = sfMenu.getElementsByTagName("LI");
        for (var i = 0; i < sfEls.length; i++) {
            sfEls[i].onmouseover = function() {
                //arb.debug.log("On: " + this.className + " " + this.innerHTML);
                if (this.className == "") {
                    this.className += "arb-hover";
                } else {
                    this.className += " arb-hover";
                }
            }
            sfEls[i].onmouseout = function() {
                //arb.debug.log("Off: " + this.className + " " + this.innerHTML);
                this.className = this.className.replace(new RegExp("\\barb-hover\\b"), "");
            }
        }
    }
}

// load for IE 5+ (Win) and IE 5 (Mac)
if (document.all) { //MS IE
	if (window.attachEvent) window.attachEvent("onload", sfHover);
	else { //IE 5.2 Mac does not support attachEvent
		var old = window.onload;
		window.onload = function() { if (old) old(); sfHover(); }
	}
}