/*  
*   These two functions help set the sidebar height to the overall height of the main_content
*   div element.  Otherwise the blue background color of the sidebar will not stretch to the
*   end of the page when there is a lot of content.
*/
function getHeight() {
    colHeight = document.getElementById("main_content").offsetHeight;
    return colHeight;
}

function setHeight() {
    divHeight = getHeight();
    document.getElementById("sidebar").style.height = divHeight + "px";
}
/* End of sidebar manipulation functions */