function correct_layout() {
   if(document.getElementById('inhalt').offsetHeight) {
      var div_heights = new Array(
         document.getElementById('inhalt').offsetHeight,
         document.getElementById('navigation').offsetHeight,
         document.getElementById('banner').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('inhalt').style.height = style_height;
      document.getElementById('banner').style.height = style_height;
      
   }
}
function num_sort(a,b) {
   return a-b;
}