function adjust_height(){
    var win_height = $(window).height();
	$('div#left, div#right').css('height', (win_height- (win_height/40)) ); // 
	// console.log(win_height);
}

$(document).ready(function(){

	adjust_height()
/* hidden Manual, Git links until manual as uploaded and git dir are ready */
$('div.links > a:contains("Manual")').css('display', 'none');
$('div.links > a:contains("Git")').css('display', 'none');
})

$(window).resize(function(){
	adjust_height();
})