/*var c = document.getElementById("contentArea");
var size=12;
function resizeText(multiplier)
{
	if(multiplier=="-")
		size=parseInt(size)-1;
	if(multiplier=="+")
		size=parseInt(size)+1;
	if(multiplier=="12")
		size=12;
	
	
	if(size<18 && size>8)
	{	
	document.getElementById("contentArea").style.fontSize = size+"px";
	}
	else
	{
	if(size==18)
	{
		size=size-1;
	}
	if(size==8)
	{
		size=size+1;
	}
	}	
	
}
*/