// JavaScript Document
var tocStartPositionY;
var tocStartPositionX;
var tocWidth;
var tocNode;
window.onscroll = positionTOC;
var tocGrabFunction = function()
{
  tocNode = document.getElementById("TableOfContents");
  tocStartPositionY = tocNode.offsetTop;
  tocStartPositionX = tocNode.offsetLeft;
  tocWidth = tocNode.clientWidth;
  if (!tocWidth || !tocWidth > 0)
    tocWidth = tocNode.parentNode.clientWidth;    
}
onloadArray.push(tocGrabFunction);
function positionTOC()
{  
  tocNode.style.position = "absolute";  
  tocNode.style.left = tocStartPositionX+"px";
  tocNode.style.top = (tocStartPositionY+document.body.scrollTop)+"px";
  tocNode.style.width = tocWidth+"px";  
}