var fontStyles= ['small','medium','large','extra'];
function setFontSize(newFontSize)
{
	setCookie('fontSize',newFontSize);
	changeFontSize();
}

function changeFontSize()
{
	if(document.getElementById)
	{
		var fontSize=getCookie('fontSize');
		for(var i=0; i < fontStyles.length; i++)
		{
			styleObject=document.getElementById(fontStyles[i]);
			if(fontSize==fontStyles[i])
			{
				styleObject.disabled=false;
			}
			else
			{
				styleObject.disabled=true;
			}
		}
	}
}
changeFontSize();