currentPage = "";


/* Call this in an onload handler somewhere. */
function setCurrentPage(id) {
  currentPage = id;
  document.getElementById(id).style.top = "-38px";
}


function linkOver(id) {
  if (id != currentPage) {
    document.getElementById(id).style.top = "-19px";
  }
}


function linkOut(id) {
  if (id != currentPage) {
    document.getElementById(id).style.top = "0px";
  }
}


function linkClick(id) {
  /* not sure why I thought I needed this function */
  return true;
}