function correct_layout(){

	mainheight = document.getElementById('container').offsetHeight;
	document.getElementById('sideborderbox').style.height = mainheight - 600 + "px";

}

function popup_opener(){
	window.open("presentation.html", target="_blank", "height=513px,width=1000px");
}