<commit_before>body {
	background-color:#ffffff;
	margin: 0px;
	padding: 0px;
}

div {
	position: relative;
}

div#top-tr {
	margin: 0px;
	padding: 0px;
	background: url("images/top-r.png") no-repeat top right;
}

div#top-tl {
	margin: 0px;
	padding: 0px;
	background: url("images/top-l.png") no-repeat top left;
}

div#top-br {
	margin: 0px;
	padding: 0px;
	background: url("images/div-r.png") no-repeat bottom right;
}

div#top-bl {
	margin: 0px;
	padding: 10px 8px 0px 10px;
	background: url("images/div-l.png") no-repeat bottom left;
}

div#top-bl table,
div#top-bl table tr {
	background-color: transparent;
}

div#top-bl h1 {
	padding: 0px;
	margin: 0px 0px 1px 0px;
	width: 176px;
	height: 48px;
	background: url("images/logo.png") no-repeat top right;
}

div#top-bl h1 span {
	visibility: hidden;
}

ul#menu {
	margin: 0px;
	padding: 0px;
	list-style: none;
	display: block;
}

ul#menu li {
	display: inline;
	float: left;
	
	margin: 0px 2px 0px 0px;
	padding: 0px;
	background: url("images/tab-off-r.png") no-repeat top right;
	border-bottom: 1px solid #666666;
}

ul#menu li a {
	display: block;
	margin: 0px;
	padding: 2px 5px 1px 5px;
	background: url("images/tab-off-l.png") no-repeat top left;
	
	color: #d8d8d8;
	text-decoration: none;
	text-align: center;
	font-weight: normal;
	
	width: .1em;
	white-space: nowrap;
	min-width: 50px;
}

ul#menu li>a {
	width: auto;
}

ul#menu li a:hover {
	color: #ffffff;
}

ul#menu li.current {
	background-image: url("images/tab-on-r.png");
	border-bottom-width: 0px;
}

ul#menu li.current a {
	background-image: url("images/tab-on-l.png");
	padding-bottom: 2px;
	
	color: #666666;
	text-decoration: none;
}

div#mid-r {
	margin: 0px;
	padding: 0px;
	background: url("images/mid-r.png") repeat-y top right;
}

div#mid-l {
	margin: 0px;
	padding: 4px 10px;
	background: url("images/mid-l.png") repeat-y top left;
}

div#bot-tr {
	margin: 0px;
	padding: 0px;
	background: url("images/div-r.png") no-repeat top right;
}

div#bot-tl {
	margin: 0px;
	padding: 2px 10px 10px 10px;
	background: url("images/div-l.png") no-repeat top left;
	
	font-size: 8pt;<commit_msg>minor css fix for active tab in IE<commit_after>body {
	background-color:#ffffff;
	margin: 0px;
	padding: 0px;
}

div {
	position: relative;
}

div#top-tr {
	margin: 0px;
	padding: 0px;
	background: url("images/top-r.png") no-repeat top right;
}

div#top-tl {
	margin: 0px;
	padding: 0px;
	background: url("images/top-l.png") no-repeat top left;
}

div#top-br {
	margin: 0px;
	padding: 0px;
	background: url("images/div-r.png") no-repeat bottom right;
}

div#top-bl {
	margin: 0px;
	padding: 10px 8px 0px 10px;
	background: url("images/div-l.png") no-repeat bottom left;
}

div#top-bl table,
div#top-bl table tr {
	background-color: transparent;
}

div#top-bl h1 {
	padding: 0px;
	margin: 0px 0px 1px 0px;
	width: 176px;
	height: 48px;
	background: url("images/logo.png") no-repeat top right;
}

div#top-bl h1 span {
	visibility: hidden;
}

ul#menu {
	margin: 0px;
	padding: 0px;
	list-style: none;
	display: block;
}

ul#menu li {
	display: inline;
	float: left;
	
	margin: 0px 2px 0px 0px;
	padding: 0px;
	background: url("images/tab-off-r.png") no-repeat top right;
	border-bottom: 1px solid #666666;
}

ul#menu li a {
	display: block;
	margin: 0px;
	padding: 2px 5px 1px 5px;
	background: url("images/tab-off-l.png") no-repeat top left;
	
	color: #d8d8d8;
	text-decoration: none;
	text-align: center;
	font-weight: normal;
	
	width: .1em;
	white-space: nowrap;
	min-width: 50px;
}

ul#menu li>a {
	width: auto;
}

ul#menu li a:hover {
	color: #ffffff;
}

ul#menu li.current {
	background-image: url("images/tab-on-r.png");
	border-bottom-width: 0px;
}

ul#menu li.current a {
	background-image: url("images/tab-on-l.png");
	padding-bottom: 2px;
	
	color: #666666;
	text-decoration: none;
}

ul#menu li.current a:hover {
	color: #666666;
}

div#mid-r {
	margin: 0px;
	padding: 0px;
	background: url("images/mid-r.png") repeat-y top right;
}

div#mid-l {
	margin: 0px;
	padding: 4px 10px;
	background: url("images/mid-l.png") repeat-y top left;
}

div#bot-tr {
	margin: 0px;
	padding: 0px;
	background: url("images/div-r.png") no-repeat top right;
}

div#bot-tl {
	margin: 0px;
	padding: 2px 10px 10px 10px;
	background: url("images/div-l.png") no-repeat top left;
	
	font-size: 8pt;
{'fraction_non_alphanumeric': 0.15767441860465117, 'fraction_numerical': 0.037209302325581395, 'mean_word_length': 3.876417233560091, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '3572761', 'n_tokens_mistral': 1987, 'n_tokens_neox': 1814, 'n_words': 443}