/**
* Alles was mit den Menus zu tun hat, ist hier zu finden
*/


/*
* Ändert die Anzeigeeigenschaft des Elements mit der ID "id"
* War "id" sichtbar, wird 
*/
function menuchange(id){
  var el;
  if (el = document.getElementById(id)){
    if(el.style.display == 'none'){
      el.style.display = 'block';
    }
    else{
      el.style.display = 'none';
    }
  }
}
function showmenu(id){
  var el;
  if (el = document.getElementById(id)){
    el.style.display = 'block';
  }
}
function hidemenu(id){
  var el;
  if (el = document.getElementById(id)){
    el.style.display = 'none';
  }
}