/* Stretch a div to the bottom of the screen */
function stretchDiv() {
	var d = document;
	var topElementsHeight = d.getElementById('container').offsetHeight;
	var footerHeight = d.getElementById('footer').offsetHeight;
	var winHeight = (d.documentElement // To prevent error in Opera 6
		&& d.documentElement.clientHeight != 0) ?
	       d.documentElement.clientHeight // MSIE 6 strict mode
		   : d.body.clientHeight; // MSIE quirks mode
	var desiredHeight = winHeight - topElementsHeight;
	if (footerHeight < desiredHeight) {
		d.getElementById('footer').style.height = desiredHeight + 'px';
	}
}