function setLayout() {
	if (getElement("pageList") && getElement("pageBody")) {
		getElement("pageBody").style.height = "auto";
		var
			pageList_ = getCoordinates("pageList"),
			pageBody_ = getCoordinates("pageBody");
		if (pageList_.height > pageBody_.height) {
			getElement("pageBody").style.height = pageList_.height + "px";
		}
	}
}

function setLayout_() {
	window.setInterval("setLayout()", 500);
}

setOnload(setLayout_);