function extra_menu_on() {
  document.getElementById("extra_menu_download").style.display = "block";
  document.getElementById("extra_menu_buy").style.display = "block";
}

function extra_menu_off() {
  document.getElementById("extra_menu_download").style.display = "none";
  document.getElementById("extra_menu_buy").style.display = "none";
}