window.onload = function() {
    contentHeight();
}

function contentHeight() {
    if (document.getElementById("content").offsetHeight < document.getElementById("navigation").offsetHeight) {
	document.getElementById("content").style.height = document.getElementById("navigation").offsetHeight - 7 + "px";
    }
}