// Submenu visibility handling

function showSubmenu(submenu_id){
  document.getElementById(submenu_id).style.visibility = 'visible';
}

function hideSubmenu(submenu_id){
  document.getElementById(submenu_id).style.visibility = 'hidden';
}