var DEFAULTSIZE="x-small";

function FontLarger()
{
	var NewSize = DEFAULTSIZE;
	switch(document.body.style.fontSize)
	{
		case "xx-small":
			NewSize = "x-small";
			break;
		case "x-small":
			NewSize = "small";
			break;
		case "small":
			NewSize = "medium";
			break;
		case "medium":
			NewSize = "large";
			break;
		case "large":
			NewSize = "x-large";
			break;
		case "x-large": 
			NewSize = "xx-large";
			break;
		case "xx-large":
			NewSize = "xx-large";
			break;
		default:
			NewSize = DEFAULTSIZE;
			break;
	}
	SetFontSize(NewSize);
}
function FontSmaller()
{
	var NewSize = DEFAULTSIZE;
	switch(document.body.style.fontSize)
	{
		case "xx-small":
			NewSize = "xx-small";
			break;
		case "x-small":
			NewSize = "xx-small";
			break;
		case "small":
			NewSize = "x-small";
			break;
		case "medium":
			NewSize = "small";
			break;
		case "large":
			NewSize = "medium";
			break;
		case "x-large": 
			NewSize = "large";
			break;
		case "xx-large":
			NewSize = "x-large";
			break;
		default:
			NewSize = DEFAULTSIZE;
			break;
	}
	SetFontSize(NewSize);
}
function SetFontSize(sSize)
{
	document.body.style.fontSize = sSize;
	SetCookie("FontSize", sSize);
}
function window.onload()
{
//	var sFontSize = GetCookie("FontSize");
//	if(sFontSize == null)
//	{
//		sFontSize = DEFAULTSIZE;
//	}
//	document.all.debuglabel.innerHTML = sFontSize;
}

// Retrieve the value of the cookie with the specified name.
function GetCookie(sName)
{
  // cookies are separated by semicolons
  var aCookie = document.cookie.split("; ");
  for (var i=0; i < aCookie.length; i++)
  {
    // a name/value pair (a crumb) is separated by an equal sign
    var aCrumb = aCookie[i].split("=");
    if (sName == aCrumb[0]) 
      return unescape(aCrumb[1]);
  }

  // a cookie with the requested name does not exist
  return null;
}
// Create a cookie with the specified name and value.
function SetCookie(sName, sValue)
{
  date = new Date();
  date.setFullYear(date.getFullYear() + 1);
  document.cookie = sName + "=" + escape(sValue) + "; path=/; expires=" + date.toGMTString();
}