var isIE5 = (navigator.userAgent.indexOf("MSIE 5") > 0  |
             navigator.userAgent.indexOf("MSIE 6.0") > 0) ? 1 : 0;
var isNS6 = (navigator.userAgent.indexOf("Gecko")    > 0) ? 1 : 0;
if (isIE5) {
  document.styleSheets[document.styleSheets.length - 1].addRule("#menuBar", "padding-top:2px");
  document.styleSheets[document.styleSheets.length - 1].addRule("#menuBar", "padding-bottom:2px");
}
var activeButton = null;
var TOut;
if (isIE5)
  document.onmousedown = pageMousedown;
if (isNS6)
  document.addEventListener("mousedown", pageMousedown, true);
function pageMousedown(event) {
  var className;
  if (isIE5)
    className = window.event.srcElement.className;
  if (isNS6)
    className = (event.target.className ?
      event.target.className : event.target.parentNode.className);
  if (className != "menuButton" && className != "menuItem" && activeButton)
    resetButton(activeButton);
}

function buttonClick(button, menuName) {
  window.clearTimeout(TOut);
  TOut = window.setTimeout("timeOut()",15000);
  button.blur();
  if (!button.menu)
    button.menu = document.getElementById(menuName);
  if (activeButton && activeButton != button)
    resetButton(activeButton);
  if (button.isDepressed)
    resetButton(button);
  else
    depressButton(button);
  return false;
}

function buttonMouseover(button, menuName) {
  if (activeButton && activeButton != button) {
    resetButton(activeButton);
    if (menuName)
      buttonClick(button, menuName);
  }
  window.clearTimeout(TOut);
  TOut = window.setTimeout("timeOut()",15000);
}

function timeOut() {
    if (activeButton){
  resetButton(activeButton);}
}

function depressButton(button) {
  if (!button.oldBackgroundColor) {
    button.oldBackgroundColor = button.style.backgroundColor;
    button.oldBorderBottomColor = button.style.borderBottomColor;
    button.oldBorderRightColor = button.style.borderRightColor;
    button.oldBorderTopColor = button.style.borderTopColor;
    button.oldBorderLeftColor = button.style.borderLeftColor;
    button.oldColor = button.style.color;
    button.oldLeft = button.style.left;
    button.oldPosition = button.style.position;
    button.oldTop = button.style.top;
  }
  button.style.backgroundColor = "#666666";
  button.style.borderBottomColor = "#666666";
  button.style.borderRightColor = "#666666";
  button.style.borderTopColor = "#666666";
  button.style.borderLeftColor = "#666666";
  button.style.color = "#ffffff";
  button.style.left = "1px";
  button.style.position = "relative";
  button.style.top = "1px";
  if (isIE5 && !button.menu.firstChild.style.width)
    button.menu.firstChild.style.width =
      button.menu.offsetWidth + "px";
  x = getPageOffsetLeft(button);
  y = getPageOffsetTop(button) + button.offsetHeight;
  if (isIE5)
    y += 2;
  if (isNS6) {
    x--;
    y--;
  }
  button.menu.style.left = x + "px";
  button.menu.style.top  = y + "px";
  button.menu.style.visibility = "visible";
  button.isDepressed = true;
  window.clearTimeout(TOut);
  TOut = window.setTimeout("timeOut()",15000);
  activeButton = button;
}

function resetButton(button) {
  button.style.backgroundColor = button.oldBackgroundColor;
  button.style.borderBottomColor = button.oldBorderBottomColor;
  button.style.borderRightColor = button.oldBorderRightColor;
  button.style.borderTopColor = button.oldBorderTopColor;
  button.style.borderLeftColor = button.oldBorderLeftColor;
  button.style.color = button.oldColor;
  button.style.left = button.oldLeft;
  button.style.position = button.oldPosition;
  button.style.top = button.oldTop;
  if (button.menu)
    button.menu.style.visibility = "hidden";
    button.isDepressed = false;
    activeButton = null;
}

function getPageOffsetLeft(el) {
  return el.offsetLeft + (el.offsetParent ? getPageOffsetLeft(el.offsetParent) : 0);
}

function getPageOffsetTop(el) {
  return el.offsetTop + (el.offsetParent ? getPageOffsetTop(el.offsetParent) : 0);
}