// JavaScript Documentdefsize = 9;
function zoom_it(n) {
	defsize += n;
	objs = document.getElementsByTagName("body").item(0);
	objs.style.fontSize = defsize + "pt";
}
document.getElementById("font-size-bigger").onclick = function () {
	zoom_it(+1);
	return false;
}

document.getElementById("font-size-smaller").onclick = function () {
	zoom_it(-1);
	return false;
}