function midpage_resize() {
	var sb = document.getElementById('sidebar') ;
	var mid = document.getElementById('midpage') ;
	var midH = mid.offsetHeight;
	var sbH = sb.offsetHeight;
	if ( midH < sbH ) mid.style.height = sbH + "px";
}