// JavaScript Document

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