function wisselFont(size)
{
	if(document.getElementById('blokmidden'))
	{
		document.getElementById('blokmidden').style.fontSize= size;
	}
	
	if(document.getElementById('blokmiddenvervolg'))
	{
		document.getElementById('blokmiddenvervolg').style.fontSize= size;
	}

	deleteCookie("font")

	// in cookie opslaan
	setCookie("font",size);
}

function loadFont()
{
	fontsize= getCookie("font")
	if (fontsize!='')
	{
		if(document.getElementById('blokmidden'))
		{
			document.getElementById('blokmidden').style.fontSize= fontsize;
		}

		if(document.getElementById('blokmiddenvervolg'))
		{
			document.getElementById('blokmiddenvervolg').style.fontSize= fontsize;
		}
	}
}

// cookie hulpfuncties

/**
 * Sets a Cookie with the given name and value.
 *
 * name       Name of the cookie
 * value      Value of the cookie
 * [expires]  Expiration date of the cookie (default: end of current session)
 * [path]     Path where the cookie is valid (default: path of calling document)
 * [domain]   Domain where the cookie is valid
 *              (default: domain of calling document)
 * [secure]   Boolean value indicating if the cookie transmission requires a
 *              secure transmission
 */

function setCookie(name, value, expires, path, domain, secure)
{
	document.cookie= name + "=" + escape(value) + ((expires) ? "; expires=" + expires : "") + ((path) ? "; path=" + path : "") + ((domain) ? "; domain=" + domain : "") + ((secure) ? "; secure" : "");
}

/**
 * Gets the value of the specified cookie.
 *
 * name  Name of the desired cookie.
 *
 * Returns a string containing value of specified cookie,
 *   or null if cookie does not exist.
 */
 
function getCookie(name)
{
	var dc = document.cookie;
	var prefix = name + "=";
	var begin = dc.indexOf("; " + prefix);
	if (begin == -1)
	{
		begin = dc.indexOf(prefix);
		if (begin != 0) return null;
	}
	else
	{
		begin += 2;
	}
	var end = document.cookie.indexOf(";", begin);
	if (end == -1)
	{
		end = dc.length;
	}
	return unescape(dc.substring(begin + prefix.length, end));
}

/**
 * Deletes the specified cookie.
 *
 * name      name of the cookie
 * [path]    path of the cookie (must be same as path used to create cookie)
 * [domain]  domain of the cookie (must be same as domain used to create cookie)
 */

function deleteCookie(name, path, domain)
{
	if (getCookie(name))
	{
		document.cookie = name + "=" + ((path) ? "; path=" + path : "") + ((domain) ? "; domain=" + domain : "") + "; expires=Thu, 01-Jan-70 00:00:01 GMT";
	}
}