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

function num_sort(a,b)
{
   return a-b;
}