<!--

function setFont(newClass)

{

	setClass('ContentCol', newClass);

	createCookie("class", document.getElementById('ContentCol').className, 365);

	setupFontButtons();

}



function setClass(objectID, newClass)

{

	var object = document.getElementById(objectID);

	object.className = newClass;

}



function setupFontButtons()

{

	var cookie = readCookie("class");

	setClass("LargeFont", "off");

	setClass("NormalFont", "off");

	setClass("SmallFont", "off");

	

	if (cookie == "large")

		setClass("LargeFont", "on");

	else if (cookie == "small")

		setClass("SmallFont", "on");

	else

		setClass("NormalFont", "on");

}



function createCookie(name,value,days)

{

	if (days) {

		var date = new Date();

		date.setTime(date.getTime() + (days * 24 * 60 * 60 * 1000));

		var expires = "; expires=" + date.toGMTString();

	} else

		expires = "";



	document.cookie = name + "=" + value + expires + "; path=/";

}



function readCookie(name)

{

	var nameEQ = name + "=";

	var ca = document.cookie.split(';');

	for (var i = 0; i < ca.length; i++) {

		var c = ca[i];

		while (c.charAt(0)==' ')

			c = c.substring(1, c.length);

		if (c.indexOf(nameEQ) == 0)

			return c.substring(nameEQ.length, c.length);

	}

	return null;

}



window.onload = function(e)

{

	var cookie = readCookie("class");

	setClass('ContentCol', cookie);

	setupFontButtons();

}

//-->


