function SwitchMenu()

in resources/menus.js [44:60]


function SwitchMenu(obj)
{
var open = 'url("http://aries.apache.org/images/BigBulletOpen.png")';
var close = 'url("http://aries.apache.org/images/BigBullet.png")';
  if(document.getElementById)  {
    var el = document.getElementById(obj);
    var title = document.getElementById(obj+'Title');

    if(el.style.display != "block"){ 
      title.style.backgroundImage = open;
      el.style.display = "block";
    }else{
      title.style.backgroundImage = close;
      el.style.display = "none";
    }
  }// end -  if(document.getElementById) 
}//end - function SwitchMenu(obj)