// Scripts to set/read cookie to set personal preferences
/* 
DATE		DESCRIPTION
----		-----------
12-29-2002	First iteration; sets font size only. Partly an onload event

*/

////////////////////////////////////
// function to change base font size
function fontChange(x) {
	var cookieValue = escape(x); // escapes semicolons
	var nowDate = new Date();
	nowDate.setMonth(nowDate.getMonth() + 6);
	cookieExpires = nowDate.toGMTString();
	cookiePath = "";
	cookieName = "baseFontSize";
	document.cookie = cookieName + "=" + cookieValue + ";expires=" + cookieExpires + ";Path=" + cookiePath;
	//alert (document.cookie); 
	
	// SET FONT SIZE 	
	document.getElementById("base").style.fontSize = x;
	//alert(document.getElementById('leftDiv').style.fontSize);
} // end fontChange()

/////////////////////////////////////////////////////////////
// onload function; retrieve value of base font if it exists
function findCookie(cookieName) {
	var cookieValue = document.cookie;
	var cookieStartsAt = cookieValue.indexOf(" " + cookieName + "=");
	
	  if (cookieStartsAt == -1)
	  {
	      cookieStartsAt = cookieValue.indexOf(cookieName + "=");
	  }
	
	   if (cookieStartsAt == -1)
	   {
	      cookieValue = null; // no cookie, set to null so default displays
	   }
	   else
	   {
	      cookieStartsAt = cookieValue.indexOf("=", cookieStartsAt) + 1;
	      var cookieEndsAt = cookieValue.indexOf(";", cookieStartsAt);
	      if (cookieEndsAt == -1)
		      cookieEndsAt = cookieValue.length;
	    	  cookieValue = unescape(cookieValue.substring(cookieStartsAt, cookieEndsAt));
	   }
	
	
		// set FONT SIZE value to whatever cookie value is IF there is cookie value
		if (cookieValue) {
			document.getElementById("base").style.fontSize = cookieValue;
		}

} // end findCookie()