// functies voor besturing van het menu

function toggleMenu(menu_id) {
  var el = document.getElementById('menu_'+menu_id);
  var currentState = el.style.display;
  if (currentState == 'none') {
    el.style.display = 'block';
    } else {
    el.style.display = 'none';
    }
  }