/*
  This javascripts helps making browsing a long list of resources more convenient.
  On click or on mouse-over the selected item will be expanded
  Simultaniously an other item that may being displayed is hidden again.
*/

var displayedresources = new Array();

function displayresource (ID) {
  //first hide all other resources
  for (var i in displayedresources) {
    x=displayedresources[i];
    if (x!=ID)
      document.getElementById(x).style.display = 'none';
  };
  document.getElementById(ID).style.display = 'block';
  //add to our list of shown ID's:
  displayedresources.push(ID);
};