/**
 * size.js
 * ----------------------------------------------------------------
 * Modification history:
 * 2005/12/14 created.
 * 2005/12/22 remembering font size added.
 * 
 * @version	v1.0.2.0($Id$)
 **/




var g_strCookieName = 'TOPPA_CONFIG';
var g_nCookieExpires = 30 * 24 * 60 * 60;


function SetFontSize(size)
{
	//// Set font size
	// Small
	if(size == 0)
		document.body.className = "small";
	// Normal
	else if(size == 1)
		document.body.className = "";
	// Large
	else if(size == 2)
		document.body.className = "large";

	//// Remember font size by using cookie
	var date = new Date();
	date.setTime(date.getTime() + g_nCookieExpires * 1000);
	var cookie = g_strCookieName + '=' + escape('font='+size) + '; expires=' + date.toGMTString();
	document.cookie = cookie;
}


function Initialize()
{
	//// Get font size from cookie
	var cookies = document.cookie.split(' ');
	var temp, values;

	for(i in cookies)
	{
		if(cookies[i].substr(cookies[i].length-1, 1) == ';')
			cookies[i] = cookies[i].substr(0, cookies[i].length-1);

		temp = cookies[i].split('=', 2);
		if(temp[0] == g_strCookieName)
		{
			values = unescape(temp[1]).split("\t");
			for(var j=0; j<values.length; j++)
			{
				temp = values[j].split('=', 2);
				if(temp[0] == 'font')
				{
					SetFontSize(temp[1]);
				}
			}
			break;
		}
	}
}