/** Function to toggle the display of an element (by id). */
function toggleDisplay(objName)
{
  obj = document.getElementById(objName);
  if (obj.style.display == 'none')
  {
    obj.style.display = '';
  }
  else
  {
    obj.style.display = 'none';
  }
}