<commit_before>// style components
nav_height = $(".navbar").height();

function styleSetup() {
	$("body").css("padding-top", nav_height);
	$(".section, #map").css("height", `calc(100vh - ${nav_height}px)`);
	var ts_height = $("#map").height() - $("#filters").height() - $("#tsTitles").height() - 146; // the last term depends on the size of the elements above the chart
	$("#ts").css("height", ts_height);
	//$(window).resize(function(){location.reload()});
};<commit_msg>resize fix<commit_after>// style components
nav_height = $(".navbar").height();

function styleSetup() {
	$("body").css("padding-top", nav_height);
	$(".section, #map").css("height", `calc(100vh - ${nav_height}px)`);
	var ts_height = $("#map").height() - $("#filters").height() - $("#tsTitles").height() - 146; // the last term depends on the size of the elements above the chart
	$("#ts").css("height", ts_height);
	$(window).resize(function(){location.reload()});
};
{'fraction_non_alphanumeric': 0.25292242295430395, 'fraction_numerical': 0.012752391073326248, 'mean_word_length': 5.633802816901408, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2038013', 'n_tokens_mistral': 307, 'n_tokens_neox': 296, 'n_words': 71}