fix_layout = function () {
	var nav = $('#thenav');
	var bg = $('#body-repeat');
	var d = $('#rightcol');
	var contentHeight = d.height();
	bg.css('height', contentHeight + 'px');
	nav.css('height', contentHeight-12 + 'px');
}

window.onload=function(){
		  fix_layout();
}