// This hack will fix the hegiht of the navigation pan and content pan
function fix_col_heights() {
    var rc=0, lc=0;
    var np;

    // Offset height of the right column
    rc = document.getElementById(arguments[1]).offsetHeight;
    // Offset height of the left colument
    lc=document.getElementById(arguments[0]).offsetHeight
    
    //Remove any bottom padding
    document.getElementById(arguments[0]).style.paddingBottom = '0px';
    document.getElementById(arguments[1]).style.paddingBottom = '0px';
    //Remove right padding from content column
    document.getElementById(arguments[0]).style.paddingRight = '0px';
    document.getElementById(arguments[1]).style.paddingRight = '0px';
    
    // Remaining height of either right or left column
    // deppending on which one is heigher
    if(rc != lc) {
        if(rc > lc) {
            np = rc-lc;
            document.getElementById(arguments[0]).style.paddingBottom = np+'px';
        }
        if(rc < lc) {
            np = lc-rc;
            document.getElementById(arguments[1]).style.paddingBottom = np+'px';
        }
    }
}