// JavaScript Funktionen für das Menü

function show_menue(id) {
	menu = document.getElementById('menu'+id);
	if(menu) {
		menupunkt = document.getElementById('hauptpunkt'+id);
		
		menu.style.left = (menupunkt.offsetLeft) + 'px';
		menu.style.visibility = 'visible';
	}
}

function hide_menue(id) {
	menu = document.getElementById('menu'+id);
	if(menu) {
		menu.style.visibility = 'hidden';
	}
}