// JavaScript Document
currsize = 11;
minsize = 11;
maxsize = 15;
function sizeup(ids)
{			
		
		if(currsize<maxsize)
		{
		   currsize++;	
		document.getElementById(ids).style.fontSize =  currsize+"px";
		}
}
function sizedown(ids)
{			
		if(currsize>minsize)
		{
		currsize--;	
		document.getElementById(ids).style.fontSize = currsize+"px";
		}
		
}