/**
 * Schaal de Sidebar naar de lengte van de pagina.
 */
function setSidebarSize() {
	var sb = document.getElementById("contentLeft");
	var cc = document.getElementById("contentRight");
	var hc = cc.offsetHeight;
	
	/* Berekening bevat getal 20. Dit staat voor de padding-top en padding-bottom 
	   van contentRight. Verbeteren: dynamisch de waarde 20 verkrijgen.	*/
	var max = 300;
	if(hc > 300) {
		sb.style.height = (hc - 20) + "px";
	}
}