function resizeMainElement(event) {
	var bodyElement = document.body || document.getElementsByTagName("body")[0];
	var pageListElement = document.getElementById("page_list");
	var contentElement = document.getElementById("main");
	
	/* set width and height (50 -> margin + 1 -> border per side) */
	contentElement.style.width = (bodyElement.offsetWidth - 102) + 'px';
	contentElement.style.height = (bodyElement.offsetHeight - (pageListElement.offsetHeight + 62) - 52) + 'px';
}