function setFontSize(size){
	document.body.style.fontSize = size + "pt";
}