function show(navelement)
{
	hideall();
	document.getElementById(navelement).style.display='inline';
}

function hideall()
{
	document.getElementById('nav_speisen').style.display='none';
	document.getElementById('nav_getraenke').style.display='none';
	document.getElementById('nav_architektur').style.display='none';
	document.getElementById('nav_kontakt').style.display='none';
}