function hookContentResize() {
    var colmid = document.getElementById("colmid");
    colmid.onresize = adjustContentHeight;
    adjustContentHeight();
}
function adjustContentHeight() {
    var contentArea = document.getElementById("contentArea");
    var colmid = document.getElementById("colmid");
    var col1 = document.getElementById("col1");
    col1.style.minHeight = colmid.offsetHeight + "px";
    contentArea.style.minHeight = colmid.offsetHeight + "px";
}