// <![CDATA[
var textZoomSize = 1;
var textZoomElement = document.getElementsByTagName("html")[0];
function textZoomIncrease() {
	textZoomSize += 0.2;
	textZoomElement.style.fontSize = textZoomSize + "em";
}
function textZoomDecrease() {
	textZoomSize -= 0.2;
	textZoomElement.style.fontSize = textZoomSize + "em";
}
function textZoomReset() {
	textZoomSize = 1;
	textZoomElement.style.fontSize = textZoomSize + "em";
}
// ]]>