var fontSize = 12; 
	
	function setFaceSize()
	{
		lineHeight = fontSize + Math.round(.3*fontSize);
		for (i = 0; i < 2; i++) 
		{
			obj = document.getElementById("articleBody" + i);
			if (obj)
			{
				obj.style.fontSize = fontSize+"px";
				obj.style.lineHeight = lineHeight+"px"
			}
		}
	} 

	function eventFaceLarger()
	{ fontSize = fontSize+2;
		if (fontSize > 18) {fontSize = 18;}
		setFaceSize()
	}
	
	function eventFaceSmaller()
	{ fontSize = fontSize-2
		if (fontSize < 9) fontSize = 9;
		setFaceSize();
	}