//***************************************************************
//The following bit of script checks to see if document.all is present, but document.getElementById is not. 
//If this is the case it then assigns a new function to document.getElementById that wraps around document.all
if(document.all && !document.getElementById) {
    document.getElementById = function(id) {
         return document.all[id];
    }
}
//With this script present at the top of the head section, either in an external file or an inline script, 
//all that is needed to reference an element on IE, Mozilla/NS6.x and a number of other browsers 
//is document.getElementById('theID')
//***************************************************************


function minSize() {
    var screenW = 640, screenH = 480, screenH, mainContentDifference = 34;
    if (parseInt(navigator.appVersion)>3) {
        screenW = screen.width;
        screenH = screen.height;
    }
    else if (navigator.appName == 'Netscape' && parseInt(navigator.appVersion)==3 && navigator.javaEnabled()) {
        var jToolkit = java.awt.Toolkit.getDefaultToolkit
        var jScreenSize = jToolkit.getScreenSize();
        screenW = jScreenSize.width;
        screenH = jScreenSize.height;
    }

    screenH -= 280;
    
    document.getElementById('propLeftBar').style.height = screenH;
    document.getElementById('propMainContent').style.height = screenH - mainContentDifference;
/*
    if (document.getElementById) {
        //The following line seems to not be returning a value for height
        //if (document.getElementById('leftBar').style.height > screenH) {screenH = document.getElementById('leftBar').style.height}
        document.getElementById('propLeftBar').style.height = screenH;
        document.getElementById('propMainContent').style.height = screenH - mainContentDifference;
    }
    else if (document.all) {
        //if (document.all['cellLeftBar'].style.height > screenH) {screenH = document.all['cellLeftBar'].style.height}
        document.all['propLeftBar'].style.height = screenH;
        document.all['propMainContent'].style.height = screenH - mainContentDifference;
    }
    else if (document.layers) {
        //if (document.layers['cellLeftBar'].style.height > screenH) {screenH = document.layers['cellLeftBar'].style.height}
        document.layers['propLeftBar'].style.height = screenH;
        document.layers['propMainContent'].style.height = screenH - mainContentDifference;
    }  
*/ 
}