//$Id: menu_functions.js 12 2004-04-01 09:00:37Z dragon $
var open = 0;
var slideDelay = 0;
var domStyle = null;
function toggleMenu(objectID) {
  domStyle = document.getElementById(objectID).style;
  if (open) { fX= -80; cX = 0; open = 0; }
  else { fX = 0; cX = -80; open = 1; }
  slideMenu(cX,fX);
}
function slideMenu(cX,fX) {
  if (cX != fX) {
    if (cX > fX) { cX -= 2; }
    else { cX += 2; }
    domStyle.left = cX + 'px';
    setTimeout('slideMenu(' + cX + ',' + fX + ')',slideDelay);
  }
  return;
}