function raiseFontSize() {
	document.getElementById("content").style.fontSizeAdjust="0.74";}

	function lowerFontSize() {
	document.getElementById("content").style.fontSizeAdjust="0.46";}

	function defaultFontSize() {
	document.getElementById("content").style.fontSizeAdjust="0.56";}