var fontSize = parseInt(readCookie('fontSize'));
if (!fontSize) {
	fontSize = 10;
}
var fontStep = 2;
function setFontSize(direction) {
	var newSize = fontSize;
	if (direction == 'up') {
		newSize = (fontSize + fontStep);
	} else if (direction == 'down') {
		newSize = (fontSize - fontStep);
	} else if (direction == 'reset') {
		newSize = 10;
	}
	if (newSize > 20) {
		// alert("Unable to set font size, it is too large.");
	} else if (newSize < 6) {
		// alert("Unable to set font size, it is too small.");
	} else {
		$('body').style.fontSize = (newSize/10) + 'em';
		fontSize = newSize;
		createCookie('fontSize',fontSize);
	}
}
Event.observe(window, 'load', setFontSize, false);