/*************************************************************
* Shows or hides a div element that acts as a drop down menu.
*************************************************************/
function toggleDropDown()
{
  var divDropDown = document.getElementById("divDropDown");
  
  if (Element.getStyle(divDropDown, "display") == "none")
    Effect.Appear(divDropDown);
  else
    Effect.Fade(divDropDown);
}