<!--
function MenuFarbe(Schrift,Hintergrund,ID)
{
	document.getElementById(ID).style.color = Schrift; // Schriftfarbe ändern
	document.getElementById(ID).style.background = Hintergrund; // Hintergrund ändern
}

function MenuFarbeNormal(Schrift,Hintergrund,ID)
{
	document.getElementById(ID).style.color = Schrift;
	document.getElementById(ID).style.background = Hintergrund;
}
//-->