var fontSize = 12;
var useFont

function eventFaceLarger()
	{
	fontSize = fontSize+1;
	if (fontSize > 18) fontSize = 18;
	useFont = fontSize
	//alert (fontSize);
	//articleBody.style.color = "green";
	document.all.articleBody.style.fontSize = useFont;
	}
	
	
function eventFaceSmaller()
	{
	fontSize = fontSize-1
	if (fontSize < 9) fontSize = 9;
	useFont = fontSize
	//alert (fontSize);
	//articleBody.style.color = "green";
	document.all.articleBody.style.fontSize = useFont;
	}