var currentFontSize = 12;
function setFontSize(op)
{
	if(op == '+')currentFontSize += 2;
	if(op == '-')currentFontSize -= 2;
	
	if(currentFontSize < 10)currentFontSize = 10;
	if(currentFontSize > 16)currentFontSize = 16;
	
	$('target_txt').style.fontSize = currentFontSize+'px';
	
}