/* Div manipulation */

function switchDiv (div) {
  var obj = document.getElementById(div);
  if ( obj.style.display != 'none' ) {
    obj.style.display = 'none';
  } else {
    obj.style.display = '';
  }
}

function toggleDiv (div) {
  switchDiv (div + "_closed");
  switchDiv (div + "_open");
}