// maincol div resizing

function getHeight() 
{
	if( typeof( window.innerWidth ) == 'number' ) 
	{	//Non-IE
		return window.innerHeight;
	} else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) 
	{	//IE 6+ in 'standards compliant mode'
		return document.documentElement.clientHeight;
	} else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) 
	{	//IE 4 compatible
		return document.body.clientHeight;
	}
}

 function calqueHeight ()
 {
	var dh = document.getElementById('header').clientHeight;
		dh+= document.getElementById('navigation').clientHeight;
		
	var ch =document.getElementById('maincol').clientHeight
	var th = getHeight()
	
	var cth = th-dh-36
	
	if (ch<cth)
		document.getElementById('maincol').style.height = cth+'px';
}