function resizeWindow()
{
//Fix the marquee so it doesn't cause a linebreak
var headwidth = document.getElementById("header").offsetWidth;
document.getElementById("marquee").style.width = (Math.round(headwidth * .9) - 5);
//Using the new marquee, resize everything
var winheight = null;
if(window.innerHeight)
winheight = window.innerHeight;
if(document.body.clientHeight)
winheight = document.body.clientHeight;
if(document.documentElement.clientHeight)
winheight = document.documentElement.clientHeight;
if (!winheight) {
// We were not able to determine winheight... give up
// alert("Unable to determine height. Giving up");
return;
}
var footheight = document.getElementById("footer").offsetHeight;
var headheight = document.getElementById("header").offsetHeight;
document.getElementById("footer").style.top = (winheight - footheight - 5)+"px";
var middleheight = (winheight - headheight - footheight - 30)+"px";
document.getElementById("center").style.height = middleheight;
document.getElementById("mainframe").style.height = middleheight;
document.getElementById("left").style.height = middleheight;
document.getElementById("right").style.height = middleheight;
var topheight = (headheight + 10)+"px";
document.getElementById("center").style.top = topheight;
document.getElementById("left").style.top = topheight;
document.getElementById("right").style.top = topheight;
}