/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

function div_setup() {
    var raw_height = document.getElementById('body_text').clientHeight;
//    console.info(raw_height);
    var new_height = raw_height-250;
//    console.info(new_height);
    var bottom_bar = new_height+442;
    
    document.getElementById('left_shadow').style.height = new_height+"px";
    document.getElementById('right_shadow').style.height = new_height+"px";
    document.getElementById('body_bg').style.height = raw_height+"px";
    
    document.getElementById('bottom_bar').style.top = bottom_bar+"px";
}