// Carl's Content Management System
//
// Copyright 2003 - 2006 Carl Thompson
//
// this script sets the height of the content to fill the browser window
//
// $Id: template.js 65 2008-03-17 21:54:37Z carl $

var agt=navigator.userAgent.toLowerCase();
var is_ie = (agt.indexOf("msie") != -1 && agt.indexOf("opera") == -1);

function resize()
{
    if (!document.getElementById) return;
    var ww, wh;

    // get height of browser window
    if (window.innerHeight) // most every browser except IE has this
        wh = window.innerHeight;
    else if (document.documentElement && document.documentElement.clientHeight) // IE with doctype specified
        wh = document.documentElement.clientHeight;
    else if (document.body && document.body.clientHeight) // IE without doctype specified
        wh = document.body.clientHeight;
    else // I have no idea how to get browser window height for this browser
        wh = 0; // fake it

    var mr = 4; // margin
    var hh = document.getElementById("header").offsetHeight;
    var sh = document.getElementById("spacer").offsetHeight;
    var fh = document.getElementById("footer").offsetHeight;
    var mh = wh - mr - hh - sh - fh - mr;
//    if (mh > document.getElementById("main").offsetHeight)
    if (mh > 0)
        document.getElementById("main").style.height = String(mh)+"px";
    if (document.getElementById("ResizeableContent"))
    {
        var rh = mh;
var t = document.getElementById("ResizeableContent").style.borderWidth;
//alert("Hey:["+t+"]");
        //if (document.getElementById("ResizeableContentBorder")) rh -= 2; // border width for inline frames

        if (document.getElementById("Controls"))
        {
            var ch = document.getElementById("Controls").offsetHeight;
            rh -= ch;
            if (is_ie) rh -= 2; // God only knows what IE is doing...
        }
        //if (rh < 200) rh = 200;
        if (rh != document.getElementById("ResizeableContent").offsetHeight )
            document.getElementById("ResizeableContent").style.height = String(rh)+"px";
    }
    if (document.getElementById("body").offsetHeight <= wh)
    {
            document.getElementById("body").style.overflow="hidden";
    }
}

window.onload = resize;
window.onresize = resize;

// $Id: template.js 65 2008-03-17 21:54:37Z carl $