var hide_on_leave = true;

function showinfo(id) {
  if(hide_on_leave) 
    document.getElementById("desc").innerHTML = document.getElementById(id).innerHTML;
}

function hideinfo() {
  if(hide_on_leave)
    document.getElementById("desc").innerHTML = "";
}

function toggleShowInfo() {
  if(hide_on_leave) {
    hide_on_leave = false;
    document.getElementById("desc").style.border = "1px solid #B4B7B8";
  } else {
    hide_on_leave = true;
    document.getElementById("desc").style.border = "1px solid #000000";
  }
}