function adjustHeight() {
	var nav_element, content_element, max_height
	
	nav_element = document.getElementById('nav_container');
	content_element = document.getElementById('content_container');

	// Element-Höhe vergleichen, den höheren Wert speichern
	max_height = Math.max(content_element.offsetHeight, nav_element.offsetHeight);

	// beide Elemente auf den Maximalwert setzen
	nav_element.style.height = max_height + "px";
	content_element.style.top = -max_height + "px";
	//content_element.style.height = max_height + "px";
}

onload = adjustHeight;