function resizeRightColumn() {
    var height = (self.innerHeight || (document.documentElement.clientHeight || document.body.clientHeight));
    if (document.getElementById("main").style.height > height) {
        height = document.getElementById("main").offsetHeight;
    }
    var right_column_prop = document.getElementById("right_column_prop");
    right_column_prop.style.height = height + "px";
}
window.onresize = resizeRightColumn;
document.onresize = resizeRightColumn;