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('content').style.height=style_height;
document.getElementById('navigation').style.height=style_height;
document.getElementById('features').style.height=style_height;}}
function num_sort(a,b) {return a-b;}