<commit_before>html {
	overflow-y: scroll;
	overflow-x: hidden;
}

body {
	background-color: #ffffff;
	margin: 0px auto 20px auto;
	font-family: Verdana;
	border-left: 1px solid #aaaaaa;
	border-right: 1px solid #aaaaaa;
	width: 1100px;
	padding: 0px 20px;
	box-sizing: content-box;
}

div {
	display: block;
}

p {
	line-height: 25px;
	font-size: 16px;
	margin-top: 0;
	margin-bottom: 0;
}

div.logo {
	margin-top: 20px;
	margin-bottom: 20px;
}

div.titlebar {
	margin-top: 20px;
	margin-bottom: 20px;
}

h1.header {
	padding: .3em .5em;
	border-radius: 0 12px 0 0;
	background-color: #831625;
	margin-left: 0;
	margin-right:0;
	color: #ffffff;
	font-size: 1.625em;
	font-weight: bold;
	font-style: normal;
	line-height: 47px;
}

p.title {
	font-weight: bold;
	font-size: 21px;
	line-height: 25px;
	margin-top: 25px;
	margin-bottom: 25px;
}

div.welcome {
	margin-top: 20px;
	margin-bottom: 20px;
	padding: 10px 0;
}

div.format-choice {
	font-size: 18px;
}

.button {
	background-color: #831625;
	color: #ffffff;
	font-weight: bold;
	padding: 6px 12px;
	border: 1px solid transparent;
	border-radius: 4px;
}

.button:hover {
	text-decoration: none; 
	background-color: #dc0000;
	color: #ffffff;
}

.button:focus {
	background-color: #dc0000;
	color: #ffffff;
	text-decoration: none;
}

.help-button {
	padding-top: 7px;
	padding-bottom: 8px;
	line-height: 20px;
}

.alert {
	margin-top: 5px;
	margin-bottom: 0px
}
}<commit_msg>style for version text changed<commit_after>html {
	overflow-y: scroll;
	overflow-x: hidden;
}

body {
	background-color: #ffffff;
	margin: 0px auto 20px auto;
	font-family: Verdana;
	border-left: 1px solid #aaaaaa;
	border-right: 1px solid #aaaaaa;
	width: 1100px;
	padding: 0px 20px;
	box-sizing: content-box;
}

div {
	display: block;
}

p {
	line-height: 25px;
	font-size: 16px;
	margin-top: 0;
	margin-bottom: 0;
}

div.logo {
	margin-top: 20px;
	margin-bottom: 20px;
}

div.titlebar {
	margin-top: 20px;
	margin-bottom: 20px;
}

h1.header {
	padding: .3em .5em;
	border-radius: 0 12px 0 0;
	background-color: #831625;
	margin-left: 0;
	margin-right:0;
	color: #ffffff;
	font-size: 1.625em;
	font-weight: bold;
	font-style: normal;
	line-height: 47px;
}

p.title {
	font-weight: bold;
	font-size: 21px;
	line-height: 25px;
	margin-top: 25px;
	margin-bottom: 25px;
}

div.welcome {
	margin-top: 20px;
	margin-bottom: 20px;
	padding: 10px 0;
}

div.format-choice {
	font-size: 18px;
}

.button {
	background-color: #831625;
	color: #ffffff;
	font-weight: bold;
	padding: 6px 12px;
	border: 1px solid transparent;
	border-radius: 4px;
}

.button:hover {
	text-decoration: none; 
	background-color: #dc0000;
	color: #ffffff;
}

.button:focus {
	background-color: #dc0000;
	color: #ffffff;
	text-decoration: none;
}

.help-button {
	padding-top: 7px;
	padding-bottom: 8px;
	line-height: 20px;
}

.alert {
	margin-top: 5px;
	margin-bottom: 0px;
}

.version {
	margin-top: 10px;
	color: gray;
	font-size: 10pt;
}
{'fraction_non_alphanumeric': 0.15073154134059205, 'fraction_numerical': 0.06260632868322559, 'mean_word_length': 3.7419354838709675, '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': '3199729', 'n_tokens_mistral': 1449, 'n_tokens_neox': 1273, 'n_words': 291}