/**
 * toggleDisplay()
 *
 * Switches the display style of the given element.
 */
function toggleDisplay(sectionID)
{
  section = document.getElementById(sectionID);
  section.style.display = (section.style.display == 'none') ? '' : 'none' ;
}