var fontsize = 62.5;

function fontsize_increase() {
	fontsize = fontsize + 5;
	fontsize_set(fontsize);
}

function fontsize_decrease() {
	fontsize = fontsize - 5;
	fontsize_set(fontsize);
}

function fontsize_set(size) {
	document.getElementsByTagName("body")[0].style.fontSize = size + "%";
	fontsize = size;	
}