// show languages

function show_languages() {
  var d = document;
  if (open != true) {
    d.getElementById('navi').style.display = "none";
    d.getElementById('langs').style.display = "";
    open = true;
  } else {
    d.getElementById('langs').style.display = "none";
    d.getElementById('navi').style.display = "";
    open = false;
  }
}