//////////////////////////////////////
// tabber.js - toggle the menu tabs //
//////////////////////////////////////
function synchTab(frameName) {
  var elList, i;

  // Exit if no frame name was given.
  if (frameName == null)
    return;

  // Check all links.
  elList = document.getElementsByTagName("A");
  for (i = 0; i < elList.length; i++)
    // Check if the link's target matches the frame being loaded.
    if (elList[i].target == frameName) {
      // If the link's URL matches the page being loaded, activate it.
      // Otherwise, make sure the tab is deactivated.
      if (elList[i].href == window.frames[frameName].location.href) {
        elList[i].className += " selected";
        elList[i].blur();
      }
      else
        removeName(elList[i], "selected");
    }
}

function removeName(el, name) {
  var i, curList, newList;

  // Remove the given class name from the element's className property.
  newList = new Array();
  curList = el.className.split(" ");
  for (i = 0; i < curList.length; i++)
    if (curList[i] != name)
      newList.push(curList[i]);
  el.className = newList.join(" ");
}