function textSizeDown() {
	$("content").style.cssText = "font-size: smaller";
	$("resize-smaller").className = "active";
	$("resize-reset").className = "";
	$("resize-larger").className = "";
};
function textSizeReset() {
	$("content").style.cssText = "font-size: normal";
	$("resize-smaller").className = "";
	$("resize-reset").className = "active";
	$("resize-larger").className = "";
};
function textSizeUp() {
	$("content").style.cssText = "font-size: larger";
	$("resize-smaller").className = "";
	$("resize-reset").className = "";
	$("resize-larger").className = "active";
};