function resize()
{
    placeCopyright() ;
    sizeSidebar() ;
}




function sizeSidebar()
{
    var mainHgt = document.getElementById('mainDiv').offsetHeight ;
    var lftHgt = document.getElementById('left').offsetHeight ;
    var vpHgt = getVPHgt() ;


    if (mainHgt < vpHgt)
    {
        document.getElementById('left').style.height = vpHgt + 'px' ;
        document.getElementById('propLeft').style.height = vpHgt + 'px' ;
        
    } else {
        
        if (mainHgt >= lftHgt)
        {
            document.getElementById('left').style.height = mainHgt + 'px' ;
            document.getElementById('propLeft').style.height = mainHgt + 'px' ;            
        }
    }
    
    //alert('main: ' + mainHgt + ' vp: ' + vpHgt) ;
}



function placeCopyright()
{
    var mainHgt = document.getElementById('mainDiv').offsetHeight ;
    var lftHgt = document.getElementById('left').offsetHeight ;
    var vpHgt = getVPHgt() ;
   
    if (mainHgt < vpHgt)
    {
        document.getElementById('copyright').style.position = 'absolute' ;
        document.getElementById('copyright').style.bottom = '3px' ;
        document.getElementById('copyright').style.right = '3px' ;
        
    } 
}

function getVPHgt()
{
    var mainHgt = document.getElementById('mainDiv').offsetHeight ;
    
    
    var viewportwidth;
    var viewportheight;
    
    // the more standards compliant browsers (mozilla/netscape/opera/IE7) use window.innerWidth and window.innerHeight
    
    if (typeof window.innerWidth != 'undefined')
    {
         viewportwidth = window.innerWidth,
         viewportheight = window.innerHeight
    }
    
   // IE6 in standards compliant mode (i.e. with a valid doctype as the first line in the document)
   
    else if (typeof document.documentElement != 'undefined'
        && typeof document.documentElement.clientWidth !=
        'undefined' && document.documentElement.clientWidth != 0)
    {
          viewportwidth = document.documentElement.clientWidth,
          viewportheight = document.documentElement.clientHeight
    }
    
    // older versions of IE
    
    else
    {
          viewportwidth = document.getElementsByTagName('body')[0].clientWidth,
          viewportheight = document.getElementsByTagName('body')[0].clientHeight
    }

    return viewportheight ;
}