// Enforce pagebody-is-taller-than-side-columns requirement  ** version 1.3.1 **

var FPHconfig = new Array;
FPHconfig["mainCol"] = ("pagebody");
FPHconfig["cols"] = new Array ("pageextra1", "pageextra2", "pageextra3", "pageextra4");

function fixPagebodyHeight()
{
  if (document.layers == null)
  {
    var mainCol = document.getElementById(FPHconfig["mainCol"]);
    var mainColHeight = (mainCol != null) ? mainCol.offsetHeight : 0;

    var isChanged = false;
    for (var i = 0; i < FPHconfig["cols"].length; i++)
    {
      var col = document.getElementById(FPHconfig["cols"][i]);
      var colHeight = (col != null) ? col.offsetHeight : 0;
      if (colHeight > mainColHeight)
      {
        mainColHeight = colHeight;
        isChanged = true;
      }
    }

    if (isChanged) { mainCol.style.height = mainColHeight + "px"; }
    if ((document.body.className == null) || (document.body.className == ""))
    {
      document.body.className = "heightfixed"
    }
    else
    {
      document.body.className = document.body.className + " heightfixed"
    }
  }
}



// Disable all CSS in stupid browsers  ** version 1.01 **
function disableCSSinStupidBrowsers()
{
  if (is_ie5dn) 
  {
    var x = (document.getElementsByTagName) ? document.getElementsByTagName('link') : (document.all) ? document.all.tags('link') : null;
    if (x != null)
    {
      x[0].disabled = true;
      x[1].disabled = true;
    }
  }
}



/* depends on utils_1.0.js */