// fix DropDown if JS is not available (redefine styles by JS)
function selectFix(name){
if (document.getElementById(name)!= null) {
document.getElementById(name).className="navigation-select";
}
}

var t;
var d;
function toplistOn(dv)
{
dv.className='navigation-select on';
}

function toplistOff(dv)
{
dv.className='navigation-select';
}

function menuFix(list) {
	var sfEls = document.getElementById(list).getElementsByTagName("LI");
	for (var i=0; i<sfEls.length; i++) {
		sfEls[i].onmouseover=function() {
		this.className+=(this.className.length>0? " ": "") + "sfhover";
		}
		// event added to keep menu items from disappearing
		sfEls[i].onMouseDown=function() {
		this.className+=(this.className.length>0? " ": "") + "sfhover";
		}
		// event added to keep menu items from disappearing
		sfEls[i].onMouseUp=function() {
		this.className+=(this.className.length>0? " ": "") + "sfhover";
		}
		sfEls[i].onmouseout=function() {
		this.className=this.className.replace(new RegExp("( ?|^)sfhover\\b"), "");
		}
	}
}