/* initialize editor */
function init() {
	resize() // resize interface
	window.onresize = resize; // resize interface on window resize
}

/* resize interface */
function resize(event){
	var windowHeight = document.documentElement.clientHeight - 95;
	if(document.all) {
		document.all('main').style.height = windowHeight + "px"
	} else if(document.getElementById) {
		document.getElementById('main').style.height = windowHeight + "px"
	}
}
window.onload = init;