/**
 * Available font sizes in percent (62.5% = ~10pt)
 */
var fs = new Array();
fs[0] = 62.5;
fs[1] = 70;
fs[2] = 75;
fs[3] = 100;
fs[4] = 125;

/**
 * Currently set font size
 */
var fs_current = 2;

/**
 * Increase font size
 */
function fsUp() {
	if (fs_current < fs.length - 1) fs_current ++;
	setFs(fs_current);
}

/**
 * Decrease font size
 */
function fsDown() {
	if (fs_current > 0) fs_current --;
	setFs(fs_current);
}

/**
 * Set font size to the value of the given id
 *
 * integer id Index of fs-array
 */
function setFs(id) {
	if (fs_current != id) fs_current = id;
	document.body.style.fontSize = fs[id] + '%';
	saveFontsize(id);
}

/**
 * Store font size in cookie
 *
 * integer id Index of fs-array
 */
function saveFontsize(id) {
	expires = 1000 * 86400 * 365; // after one year
	var now = new Date();
	var future = new Date(now.getTime() + expires);
	document.cookie = "mco_fs=" + id + "; path=/; expires=" + future.toGMTString() + ";";
}

/**
 * Restore font size from cookie
 */
function restoreFontsize() {
	if (document.cookie.length > 0) {
		if (m = document.cookie.match(/mco_fs=([0-9])/)) {
			id = m[1];
			setFs(id);
		}
	}
}