function correct_layout() {

	if (document.getElementById('content80').offsetHeight) {
		var div_heights = new Array(
			document.getElementById('content80').offsetHeight,
			document.getElementById('sidebar').offsetHeight //,
		);
		div_heights = div_heights.reverse(div_heights.sort(num_sort));
		var style_height = div_heights[0] + 100 + "px";
		document.getElementById('sidebar').style.height = style_height;
		document.getElementById('content80').style.height = style_height;
	}

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