// This file created by Paula 5/22/08 to fix Javascript page loading errors.
// This Function taken out of "main.js" so it would run after "footer.html" loads.

// Called from "footer.html"

// This adjusts the height of the main div if the page is short so the 
// footer ends up at the bootom of the page
function adjustHeight() {
var fudge = -7
var footer_h = document.getElementById('footer').clientHeight;
var main_h = document.getElementById('main').clientHeight;
var header_h = document.getElementById('headerbar').clientHeight;
var port_w = getViewport_X();
var port_h = getViewport_Y();
var current_height = eval(header_h + main_h + footer_h);
var adjustment = eval(port_h - current_height);
if (current_height < port_h) {
  var new_id2_height = eval(main_h + adjustment + fudge);
  document.getElementById('main').style.height = new_id2_height + 'px'
}
}


window.onresize=adjustHeight;
window.onload=adjustHeight;