var fontAdjust = 0
function changeFontSize(inc)
{  
	if((inc < 0 && fontAdjust > 3* inc)  || (inc > 0 && fontAdjust < 3 * inc))
	{
		var td = document.getElementsByTagName('td');  
		fontAdjust += inc
		for(n=0; n<td.length; n++) 
		{    
			if(td[n].style.fontSize) 
			{       
				var size = parseInt(td[n].style.fontSize.replace("px", ""));    
			} 
			else 
			{       
			var size = 12;    
			}    
			td[n].style.fontSize = size+inc + 'px';   
		}
	}
}