<!--
  //============================================================================
  // CHANGE SIZE
  // This function resizes the main_body div to use more space (if needed) to
  // place the footer on the bottom of the browser window.
  //
  // depends on FINDDOM
  //============================================================================
  function changeSize()
  {
    var myHeight = 0;
    var footerHeight = 45;
    var headerHeight = 94;
    if(typeof(window.innerWidth) == 'number')
    {
      //Non-IE
      myHeight = window.innerHeight;
    }
    else if(document.documentElement && document.documentElement.clientHeight)
    {
      //IE 6+ in 'standards compliant mode'
      myHeight = document.documentElement.clientHeight;
    }
    else if(document.body && document.body.clientHeight)
    {
      //IE 4 compatible
      myHeight = document.body.clientHeight;
    }

    newSize = myHeight - footerHeight - headerHeight;

    var dom = findDOM("main_body", 0);
    if(dom.offsetHeight < newSize)
    {
      dom.style.height = newSize + "px";
    }
    // Call the init function of the expandable menu to colapse branches
    // Get the div containing the menu.
    var menuDiv = findDOM("expandableNavigation", 0);
    if (menuDiv != null)
    {
      expandInit(menuDiv);
    }
  }
  -->