﻿var fontStyles = ['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();