$(document).ready(function(){
	reSizeBorder();
});
function reSizeBorder(){
	var windowHeight = window.innerHeight ? window.innerHeight : document.documentElement.clientHeight ? document.documentElement.clientHeight : document.body.clientHeight;
	if($("#doc_left_col").height() > windowHeight){
		$("#doc_right_col").height($("#doc_left_col").height());
	} else {
		$("#doc_right_col").height(windowHeight);	
	}
}