/*** set zoom to value from cookie ***/
set_zoom( get_zoom_cookie() );


/*** set the zoom level ***/
function set_zoom( zoom_level ) {
	switch ( zoom_level ) {
		case  2 : document.getElementById("content").style.fontSize = "150%"; break;
		case  1 : document.getElementById("content").style.fontSize = "125%"; break;
		default : document.getElementById("content").style.fontSize = "100%"; break;
	}

	set_zoom_cookie( zoom_level );

	return true;
}


/*** save the current zoom level in a cookie ***/
function set_zoom_cookie( zoom_level ) {
	document.cookie = "zoomLevel=" + zoom_level + "; path=/; expires=Thu, 01-Jan-37 00:00:00 GMT";
}


/*** get the zoom level from cookie ***/
function get_zoom_cookie() {
	if ( document.cookie ) {
		var myCookie = document.cookie;

		// get postion of the zoom cookie
		var posZoomName = myCookie.indexOf("; zoomLevel=");

		// if not found: is zoom cookie the first cookie?
		if ( posZoomName == -1 ) {
			if ( myCookie.indexOf("zoomLevel=") == 0 ) {
				posZoomName = 0;
			} else {
				return 0;	// zoom cookie not found
			}
		}

		// find start and end of zoom value
		var zoomValueStart = myCookie.indexOf("=", posZoomName) + 1;
		var zoomValueEnd = myCookie.indexOf(";", posZoomName + 1);
		if (zoomValueEnd == -1) {
			zoomValueEnd = myCookie.length;
		}

		// return zoom value
		var zoomValue = parseInt( myCookie.substring(zoomValueStart, zoomValueEnd) );
		if ( typeof zoomValue == "number" ) {
			return zoomValue;
		} else {
			return 0;
		}
	} else {
		return 0; // no cookies found
	}
}