function changeFontSize(inc)
{
  var p = document.getElementsByTagName('p');
  for(n=0; n<p.length; n++) 
  {
  
    if(p[n].style.fontSize) 
	{
       var size = parseInt(p[n].style.fontSize.replace("px", ""));
    } 
	else 
	{
       var size = 13;
    }
    
	
	
	if(size <= 15 && size >= 11){
		
			p[n].style.fontSize = size + inc + 'px';
		
	}
	
	
	
	if(size == 16){
		if(inc == -1)
		{
			p[n].style.fontSize = size + inc + 'px';
		}
	}
	
	
	
	if(size == 10){
		if(inc == 1)
		{
			p[n].style.fontSize = size + inc + 'px';
		}
	}
	
	
	/*
	if(size <= 14 && size >= 10){
		if(size == 10)
		{
			p[n].style.fontSize = size + 1 + 'px';
		}
		else if(size >= 10)
		{
			p[n].style.fontSize = size + inc + 'px';
		}
		
		
		else if(size == 14)
		{
			p[n].style.fontSize = size - 1 + 'px';
		}
		else if(size <= 14)
		{
			p[n].style.fontSize = size + inc + 'px';
		}
	}
	
	
	
	if(p[n].style.fontSize == "12px"){
		p[n].style.fontSize = size + inc + 'px';
	}
	
	if(p[n].style.fontSize == '13px'){
		p[n].style.fontSize = size + inc + 'px';
	}
	
	
	if(p[n].style.fontSize == '14px'){
		p[n].style.fontSize = size + inc + 'px';
	}
	*/
	
	
  }
}