// JavaScript Document
function increaseFontSize() {
	document.getElementsByTagName("body")[0].style.fontSize = "112%";
}

function decreaseFontSize() {
	document.getElementsByTagName("body")[0].style.fontSize = "11px";
}