var min=8;
		var max=18;
		function increaseFontSize()
		{
			var div = document.getElementById('index');
			
			if(div.style.fontSize)
			{
				var s = parseInt(div.style.fontSize.replace("px",""));
			}
			else 
			{
				var s = 11;
			}
			
			if(s!=max)
			{
				s += 1;
			}
			
			div.style.fontSize = s+"px"
		}
		
		function decreaseFontSize()
		{
			var div = document.getElementById('index');
			
			if(div.style.fontSize)
			{
				var s = parseInt(div.style.fontSize.replace("px",""));
			}
			else
			{
				var s = 11;
			}
			
			if(s!=min)
			{
				s -= 1;
			}
			
			div.style.fontSize = s+"px"
		}