/*
 * A function which hides the element with the specified id.  Used in
 * onClick handlers for links, usually.
 */
function dismiss(element_id) {
  elem = document.getElementById(element_id);
  elem.style.display = 'none';
}