function allocate_Content_Height() {
    var textFrame = document.getElementById("text_frame");
    if (!textFrame) return;
    var footerFrame = document.getElementById("footer");
    if (!footerFrame) return;
    var textScroll = document.getElementById("text_scroll");
    if (!textScroll) return;
    
    var inlineMenu = document.getElementById("inline_menu");
    var height = footerFrame.offsetTop - textFrame.offsetTop;
    if (inlineMenu) {
        height = height - inlineMenu.offsetHeight - footerFrame.offsetHeight + 7;
    }

    textScroll.style.height = height + "px";    
}

window.onload = allocate_Content_Height;
window.onresize = allocate_Content_Height;