var current = "summary";

function hide_contents() {
  document.getElementById('key').style.display='none';
  document.getElementById('maincontent').style.width='100%';
}

function sectionfocus(id) {
  
  var maincontent = document.getElementById("maincontent");
  
  if (current != id) {
    var node = document.getElementById(current);
    node = document.getElementById(current+"_key");
    node.setAttribute("class","normal");
  }
  
  current = id;
  var node = document.getElementById(id);
  
  node = document.getElementById(current+"_key");
  node.setAttribute("class","focused");
  
  document.location='#'+id;
}