// JavaScript Document
function setFontSize(size) {
	var bodyElem = document.body;
	bodyElem.style.fontSize = size;
	schreibCookie('fontSize', size);
}