function InitFont() {
	document.getElementById("main_container").style.fontSize = '100%';
}
function normaal() {
	document.getElementById("main_container").style.fontSize = '100%';
	
}
function groter() {
	document.getElementById("main_container").style.fontSize = '115%';
}
function grootst() {
	document.getElementById("main_container").style.fontSize = '130%';
}