// JavaScript Document
function fontcange(n){
if(n == 1){
	document.getElementById("maincontainer").style.fontSize = "0.9em";
	}
else if(n == 2){
	document.getElementById("maincontainer").style.fontSize = "1.0em";
	}
else if(n == 3){
	document.getElementById("maincontainer").style.fontSize = "1.1em";
	}
}