/* fontsize vergroten/verkleinen */
function setFontSize(size) {
	if(!size)
		size = findFontSize();
	document.getElementById('content_text').style.fontSize = size;
	document.cookie = "fontSize="+size+"; path=/"; 
}
function findFontSize() {
	value	= getCookie("fontSize=");
	if(value == null)
	    return "11px"; 
	else
		return value;
}

/* cookie waardes ophalen */
function getCookie(nameEQ) {
    var ca = document.cookie.split(';'); 
    for(var i=0;i < ca.length;i++) { 
        var c = ca[i]; 
        while (c.charAt(0)==' ') c = c.substring(1,c.length); 
        if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length); 
    } 
	return null;
}