function setFontSize(value) {
	document.getElementsByTagName("body")[0].style.fontSize = value;
}