/********** Global Scripts **********/

function setPosition()
{
  //document.all.menuBar.style.width=document.body.clientWidth;
  if(ie4)
  {
    document.all.TOCBar.style.height=document.body.clientHeight-43;
    if (document.body.clientHeight >= 595)
    {
      document.all.copyright.style.top=document.body.clientHeight-20;
    }
  /*if (document.body.clientWidth >= 795) {
          document.all.menuKey.style.left=document.body.clientWidth-312;
          document.all.compassWM.style.left=document.body.clientWidth-255;
          document.all.menuContainer.style.left=document.body.clientWidth;
  }
       */
  }
}

//*****************************Used for mouse over of links**********************
ns4 = (document.layers)? true:false;
ie4 = (document.all)? true:false;


function mouseShowOver(divPrefix, divNum)
{
  if (ns4)
  {
    document.layers[divPrefix+"Show"+divNum].visibility="hidden";
    document.layers[divPrefix+"Hide"+divNum].visibility="visible";
  }
}

function mouseHideOver(divPrefix, divNum)
{
  if (ns4)
  {
    document.layers[divPrefix+"Hide"+divNum].visibility="hidden";
    document.layers[divPrefix+"Show"+divNum].visibility="visible";
  }
}
//*******************************************************************************

//**************************Shows page once fully loaded*************************
function pageShow()
{
  if (!ns4)
  {
    document.all['mainpage'].style.visibility='visible';
  }
}
//*******************************************************************************

//**************************Controls behavior of top menu************************
function menuShow(el1, el2) {
  var element1 = document.getElementById(el1)
  var element2 = document.getElementById(el2)
  element2.style.color="white";
  element1.style.visibility="visible";
}

function menuHide(el1, el2) {
  var element1 = document.getElementById(el1)
  var element2 = document.getElementById(el2)
  element1.style.visibility="hidden";
  element2.style.color="black";
}
//*******************************************************************************
