function correct_layout() {
  if(document.getElementById('content').offsetHeight) {
  var div_heights = new Array(
    document.getElementById('content').offsetHeight,
	document.getElementById('navigation').offsetHeight,
	document.getElementById('features').offsetHeight
	);
	div_heights = div_heights.reverse(div_heights.sort(num_sort));
	var style_height = div_heights[0] + "px";
	document.getElementById('navigation').style.height = style_height;
	document.getElementById('content').style.height = style_height;
        document.getElementById('features').style.height = style_height;
	}
}
function num_sort(a,b) {
    return a-b;
}