var fontSize = 10;
var lineHeight;

function saveFontSize()
	{

	var expire = new Date ();
   	//expire.setTime (expire.getTime() + (6000 * 24 * 3600000)); //expires in 6 days from users clock
   	//expire = expire.toGMTString();
	document.cookie="fontSize="+fontSize+";expires="+getexpirydate(6);
	}
function loadFontSize()
	{
	tempArray = document.cookie.split(";");		
	for (tA = 0; tA < tempArray.length; tA++)
			{
			if (tempArray[tA].indexOf('fontSize') > -1) //found the font section in cookie
				{
				fontValue = tempArray[tA].split("=")
				fontSize = parseInt(fontValue[1]);
				}
			}
		setFontSize();
	}
function setFontSize()
	{
	lineHeight = fontSize+Math.round(.3*fontSize);
	
		obj = document.getElementById("at1");
		obj.style.fontSize = fontSize+"px";
		obj.style.lineHeight = lineHeight+"px"
		saveFontSize();
	}
function FontLarger()
	{
	fontSize = fontSize+2;
	if (fontSize > 20) {fontSize = 20;}
	setFontSize()
	}
	
	
function FontSmaller()
	{
	fontSize = fontSize-2
	if (fontSize < 10) fontSize = 10;
	setFontSize();
	}