var helpSubmenu, downloadSubmenu, screenshotsSubmenu, supportSubmenu, onlineVersionsSubmenu;
window.onload=function() {
  downloadSubmenu = document.getElementById("download-submenu");
  helpSubmenu = document.getElementById("help-submenu");
  screenshotsSubmenu = document.getElementById("screenshots-submenu");
  supportSubmenu = document.getElementById("support-submenu");
  onlineVersionsSubmenu = document.getElementById("online-versions-submenu");
}
function toggle(submenu) {
  submenu.className = submenu.className == "hidden-submenu" ? "showing-submenu" : "hidden-submenu";
}