var fontStyles = ['small','medium','large'];



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();