// functions to set and get cookies for menu text size
// at brettgarsed.com

function setMenuPref(size) {
	var theCookie = "menuText=" + size + "; path=/"
	document.cookie = theCookie;
	document.getElementById('menu').style.fontSize = size;
}

function getMenuPref() {
	if (document.cookie != "") {
		var theCookie = document.cookie;
		var splitCookie = theCookie.split("=");
		var sizePref = splitCookie[1];
		document.getElementById('menu').style.fontSize = sizePref;
	}
}