sizeNow = 100
inc = 20


function upSize()
{
  if (document.getElementById)
  {
	sizeNow = (parseInt(sizeNow) + inc)
	document.getElementsByTagName('BODY')[0].style.fontSize = sizeNow + "%"
  }
  setCookie('textSize', sizeNow, 100)
}

function downSize()
{
  if (document.getElementById)
  {
	sizeNow = (parseInt(sizeNow) - inc)
	document.getElementsByTagName('BODY')[0].style.fontSize = sizeNow + "%"
  }
  setCookie('textSize', sizeNow, 100)
}

function normSize()
{
  if (document.getElementById)
  {
	sizeNow = "100"
	document.getElementsByTagName('BODY')[0].style.fontSize = sizeNow + "%"
  }
  setCookie('textSize', '100', 100)
}



function setColours(textColour, bgColour)
{

  if (document.getElementById)
  {
	document.getElementsByTagName('BODY')[0].style.color = textColour
	document.getElementsByTagName('BODY')[0].style.background = bgColour
  }

  setCookie('textColour', textColour, 100)
  setCookie('bgColour', bgColour, 100)

}





function setCookie(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()
{
  var textColNameEQ = "textColour=";
  var bgColNameEQ = "bgColour=";
  var sizeNameEQ = "textSize=";

  var textColour = "Black"  // and set some sensible defaults
  var bgColour = "White"    // If not, it barfs first run
  var textSize = "100"

  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(textColNameEQ) == 0) textColour = c.substring(textColNameEQ.length,c.length);
    if (c.indexOf(bgColNameEQ) == 0) bgColour = c.substring(bgColNameEQ.length,c.length);
    if (c.indexOf(sizeNameEQ) == 0) textSize = c.substring(sizeNameEQ.length,c.length);
  }

				//alert(document.cookie)

  setColours(textColour, bgColour)

				//alert(document.cookie)

  if (! textSize == "")
  {
    if (document.getElementById)
		document.getElementsByTagName('BODY')[0].style.fontSize = textSize + "%";

    sizeNow = textSize; // otherwise sizeNow is 100, so (re)incrementing starts from there
  }
}