/*********************************************************************************
 These functions are used for the "Change the size of the text"
*********************************************************************************/

	  function increaseFontSize() {
		 var p = document.getElementsByTagName('body');
		 for(i=0;i<p.length;i++) {
		 	
				/*if(p[i].style.fontSize) {					
					 var s = parseInt(p[i].style.fontSize.replace("px",""));
				} else {
					
					 var s = 12;
				}
				if(s!=max) {
					 s += 1;
				}*/
				p[i].style.fontSize = "86%"
		 }
	}
	
	function normalFontSize() {
		 var p = document.getElementsByTagName('body');
		 for(i=0;i<p.length;i++) {
				/*if(p[i].style.fontSize) {
					 var s = parseInt(p[i].style.fontSize.replace("px",""));
				} else {
					 var s = 10;
				}
				if(s!=min) {
					 s -= 1;
				}*/
				p[i].style.fontSize = "76%"
		 }   
	}
	
	function decreaseFontSize() {
		 var p = document.getElementsByTagName('body');
		 for(i=0;i<p.length;i++) {
				/*if(p[i].style.fontSize) {
					 var s = parseInt(p[i].style.fontSize.replace("px",""));
				} else {
					 var s = 10;
				}
				if(s!=min) {
					 s -= 1;
				}*/
				p[i].style.fontSize = "69%"
		 }   
	}