function setCookie ( t )
	{		
		var Days = 30;
	
		Time = new Date();
		Time.setTime(Time.getTime()+(Days*24*60*60*1000));
		Exp = "; expires="+Time.toGMTString();
	
		document.cookie = "mmirandafont="+t+Exp+"; path=/";
	}
	
	function getCookie ()
	{	
		nameEQ = "mmirandafont=";
	
		ca = document.cookie.split(';');
		for( 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 setFont ( t )
	{
		M = document.getElementById("main");
		M.className = 'font'+t;
		
		setCookie ( t );
	}
	
	function getFont ()
	{
		switch ( getCookie() )
		{				
			case 'small':
				setFont('small');
				break;
				
			case 'large':
				setFont('large');
				break;
				
			default:
				setFont('normal');
				break;
		}
	}
	
	window.onload = getFont;