function addjustLayout() {

        var menuHeight = parseInt(document.getElementById("submenu_border").offsetHeight);
            menuHeight = menuHeight > 350 ? menuHeight : 350;
        var pageHeight = parseInt(document.getElementById("text_inner").offsetHeight);
        
        if ( menuHeight > pageHeight ) {
            var div = document.createElement("div");
                div.style.height = menuHeight - pageHeight + "px";
            document.getElementById("text_inner").appendChild(div);
        }

    }//addjustLayout