function changeFont() {
           document.styleSheets[2].disabled = false
           if (document.styleSheets[0].cssRules)  {
          	document.styleSheets[2].cssRules[0].style.fontSize = "16px"
	  	document.styleSheets[2].cssRules[0].style.fontFamily = "Helvetica,Arial,sans-serif"
	  	document.styleSheets[2].cssRules[0].style.lineHeight = "125%"
	  }  else  {
	        document.styleSheets[2].rules[0].style.fontSize = "16px"
	  	document.styleSheets[2].rules[0].style.fontFamily = "Helvetica,Arial,sans-serif"
	  	document.styleSheets[2].rules[0].style.lineHeight = "125%"
	  }
   }