function setMainHeight()
{
	var div = document.getElementById("main-section");
	var nh = document.documentElement.clientHeight;
	div.style.height = (nh - 26) + "px";
}

function resize() {
	window.location.href = window.location.href;
}