function fontLarger() {
	document.getElementById('body').style.fontSize++;
	return false;
	}
	
function fontSmaller() {
	document.getElementById('body').style.fontSize--;
	return false;
	}