function fontSmall() {
	document.getElementById('overview').style.fontSize = "100%";
	document.getElementById('main_content').style.fontSize = "100%";
}
function fontMedium() {
	document.getElementById('overview').style.fontSize= "120%";
	document.getElementById('main_content').style.fontSize= "120%";
}
function fontLarge() {
	document.getElementById('overview').style.fontSize = "140%";
	document.getElementById('main_content').style.fontSize = "140%";
}
function openPrintWindow(url) {
    window.open(url, 'printFriendly', 'width=600,height=600,resizable=1,menubar=1,toolbar=1,scrollbars=1,location=0,status=0');
}