
<!--

function toggleid(targetid) {
  var isnow = document.getElementById(targetid).style.display;
  if ( isnow == 'block' ) {
     document.getElementById(targetid).style.display='none';
  } else {
     document.getElementById(targetid).style.display='block';
  }
}

function showid(thingid) {
   document.getElementById(thingid).style.display = 'block';
}

function hideid(thingid) {
   document.getElementById(thingid).style.display = 'none';
}

function setClass(thingid, new_classname) {
   document.getElementById(thingid).className = new_classname;
}