function textSize(dec) {

var fontSize = '';

  fontSize = document.getElementById("mainFontSize").style.fontSize;

  fontSize=fontSize.substr(0,2) ;

  if (dec == 1 ) 
	{
  	fontSize++ ; 
  	}
  	else 
  	{
  	 fontSize-- ;
  	}
  		
 if (fontSize<10) fontSize=10;
 document.getElementById("mainFontSize").style.fontSize=""+fontSize+"px";
 fontSize = fontSize + 10 ;
}