/* javascript for the hidden drop-down on downloads page */

function toggle(name) {
  blockElement = document.getElementById("block"+name);
  iconElement = document.getElementById("icon"+name);
  if (blockElement.style.display!="block") {
    blockElement.style.display="block";
    iconElement.src="images/minus.gif";
    iconElement.alt="-";
  } else {
    blockElement.style.display="none";
    iconElement.src="images/plus.gif";
    iconElement.alt="+";
  }
  return false;
}