// set right vertical bar height
if (document.getElementById("body_content") && document.getElementById("body_content").offsetHeight < 250)
document.getElementById("body_content").style.height = "250px" // 15px less because of padding-bottom in style sheet