// JavaScript Doc

// [hide from old browsers] script beginn ******************

//+++++++Navi-Highlighter+++++++++++++++++++++
function MausOverTop(wo) {
	wo.style.backgroundColor = '#DDDDDD';
}
function MausOutTop(wo) {
	wo.style.backgroundColor = '#999999';
}
function MausOverBottom(wo) {
	wo.style.backgroundColor = '#DDDDDD';
}
function MausOutBottom(wo) {
	wo.style.backgroundColor = '#B2B2B2';
}

//script end *************************************************