function setFontSize(size){
	size = size.toString();
	document.body.style.fontSize = size + "px!important";
	document.body.p.fontSize = size + "px!important";
}