// JavaScript Doc

//********************************************
//+++++++Navi-Highlighter+++++++++++++++++++++
//********************************************

// BOX Information
function MausOverBox(wo) {
	wo.style.backgroundColor = '#F73313';
}
function MausOutBox(wo) {
	wo.style.backgroundColor = '#747474';
}