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;
	}


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
		var expires = "";

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


function changeFontSize(size)
	{
	createCookie( 'fontsize', size, 360 );
	var url = window.location.href;
	var hashIndex = url.indexOf(window.location.hash);
	if( hashIndex > 0 )
		window.location.href = url.substring(0, hashIndex);
	else
		window.location.href = url;
	}

var fontsize = readCookie('fontsize');
if( fontsize == null )
	var fontsize = '7.5pt';

document.write('<style type="text/css">');
document.write('BODY { font-size: ' + fontsize + '; }');
document.write('LI { font-size: ' + fontsize + '; }');
document.write('TD { font-size: ' + fontsize + '; }');
document.write('#panel LI { font-size: ' + fontsize + '; }');
document.write('<\/style>');