<commit_before>/* Copyright (c) 2011 <NAME> <<EMAIL>> */

BODY {
	color: #000;
	font-family: sans-serif;
	font-size: 12px;
	line-height: 18px;
	margin-bottom: 35px;
	margin: 0;
	padding: 7px 0 0 120px;
}
TABLE IMG {
	margin-left: 10px;
}
A, A:visited {
	color: #000;
	padding: 0;
	text-decoration: none;
}
DIV.padding {
	padding: 5px;
}
A IMG {
	border: 0px;
}

div.clearheinz {
	clear: both;
}

#navigation {
	margin-bottom: 10px;
	position: absolute;
	top: 0px;
	left: 50px;
	width: 200px;
	z-index: 1000;
}
#navigation A {
	display: block;
	font-size: 100%;
	padding: 5px;
}
#navigation A:HOVER {
	-moz-border-radius: 5px;
	background-color: #AAC;
	border-radius: 5px;
}

#key_kasten {
	border: 1px solid #333;
	float: right;
	padding: 10px;
	width: 200px;
}
#key_kasten A, #key_kasten A:visited {
	color: #000;
	display: block;
	float: left;
	margin: 0 10px 5px 0;
	padding: 0;
	text-decoration: none;
}
#key_kasten A:hover {
	text-decoration: underline;
}
#keywordbox {
	float: left;
	margin-bottom: 10px;
	position: absolute;
	right: 10px;
	top: 0px;
	width: 200px;
}
A.tagcloudlink {
	border-bottom: 1px dotted #CCC;
	margin-right: 5px;
}
A.tagcloudlink:HOVER {
	background-color: #DDD;
}
DIV.key_check {
	float: left;
	height: 20px;
	width: 170px;
}
UL.nobullets {
	list-style: none;
	margin: 0;
	padding: 0 0 0 15px;
}
UL.nobullets LI {
	margin: 0;
	padding: 0;
}

DIV.handle {
	-moz-border-radius-bottomleft: 10px;
	-moz-border-radius-bottomright: 10px;
	background-color: #444;
	border-radius: 0 0 10px 10px;
	color: #FFF;
	cursor: pointer;
	text-align: center;
}
DIV.handle:hover {
	background-color: #666;
}
DIV.unfold {
	background-color: #FFF;
	border-color: #444;
	border-style: solid;
	border-width: 0px 1px;
	display: none;
}

#inhalt {
	margin:15px 15px 0 15px;
	padding: 0;
}

#schnellwahlbox {
	float: right;
	margin: 0;
	padding: 0px;
	width: 150px;
}
DIV.thumb, DIV.thumb_wvl {
	float: left;
	height: 90px;
	overflow: hidden;
	padding: 0px;
	text-align: center;
	width: 120px;
}
DIV.thumb {
	border: 1px dotted #ccc;
	margin: 5px 0px 0px 10px;
}
DIV.thumb_wvl {
	border: 2px solid #F00;
	margin: 5px 0px 0px 8px;
}

#sticky_keywords {
	color: #000000;
	left: 0px;
	position: absolute;
	top: 30px;
}
#sticky_keywords A {
	color: #000;
	margin: 0 15px 0 0;
	padding: 0px;
	text-decoration: none;
}
#sticky_keywords A:hover {
	background-color: #CCC;
}

.sticky_keyword {
	clear: both;
	height: 28px;
	margin-bottom: 5px;
	overflow: hidden;
}
.hhandle {
	-moz-border-radius-bottomright: 10px;
	-moz-border-radius-topright: 10px;
	background-color: #444;
	border-color: #444;
	border-radius: 0 10px 10px 0;
	border-style: solid;
	border-width: 1px 0px;
	color: #FFF;
	cursor: pointer;
	float: left;
	padding: 4px 7px 4px 4px;
	text-align: center;
}
.hhandle:hover {
	background-color: #666;
}
.hunfold {
	background-color: #FFF;
	border-color: #444;
	border-style: solid;
	border-width: 1px 0px;
	display: none;
	float: left;
	padding: 4px 4px;
}

#stats {
	background-color: #EEE;
	font-size: 90%;
	margin: 30px 0px 0px 5px;
	padding: 3px;
}

#add {<commit_msg>fixed changing width of stat box<commit_after>/* Copyright (c) 2011 <NAME> <<EMAIL>> */

BODY {
	color: #000;
	font-family: sans-serif;
	font-size: 12px;
	line-height: 18px;
	margin-bottom: 35px;
	margin: 0;
	padding: 7px 0 0 120px;
}
TABLE IMG {
	margin-left: 10px;
}
A, A:visited {
	color: #000;
	padding: 0;
	text-decoration: none;
}
DIV.padding {
	padding: 5px;
}
A IMG {
	border: 0px;
}

div.clearheinz {
	clear: both;
}

#navigation {
	margin-bottom: 10px;
	position: absolute;
	top: 0px;
	left: 50px;
	width: 200px;
	z-index: 1000;
}
#navigation A {
	display: block;
	font-size: 100%;
	padding: 5px;
}
#navigation A:HOVER {
	-moz-border-radius: 5px;
	background-color: #AAC;
	border-radius: 5px;
}

#key_kasten {
	border: 1px solid #333;
	float: right;
	padding: 10px;
	width: 200px;
}
#key_kasten A, #key_kasten A:visited {
	color: #000;
	display: block;
	float: left;
	margin: 0 10px 5px 0;
	padding: 0;
	text-decoration: none;
}
#key_kasten A:hover {
	text-decoration: underline;
}
#keywordbox {
	float: left;
	margin-bottom: 10px;
	position: absolute;
	right: 10px;
	top: 0px;
	width: 200px;
}
A.tagcloudlink {
	border-bottom: 1px dotted #CCC;
	margin-right: 5px;
}
A.tagcloudlink:HOVER {
	background-color: #DDD;
}
DIV.key_check {
	float: left;
	height: 20px;
	width: 170px;
}
UL.nobullets {
	list-style: none;
	margin: 0;
	padding: 0 0 0 15px;
}
UL.nobullets LI {
	margin: 0;
	padding: 0;
}

DIV.handle {
	-moz-border-radius-bottomleft: 10px;
	-moz-border-radius-bottomright: 10px;
	background-color: #444;
	border-radius: 0 0 10px 10px;
	color: #FFF;
	cursor: pointer;
	text-align: center;
}
DIV.handle:hover {
	background-color: #666;
}
DIV.unfold {
	background-color: #FFF;
	border-color: #444;
	border-style: solid;
	border-width: 0px 1px;
	display: none;
}

#inhalt {
	margin:15px 15px 0 15px;
	padding: 0;
}

#schnellwahlbox {
	float: right;
	margin: 0;
	padding: 0px;
	width: 150px;
}
DIV.thumb, DIV.thumb_wvl {
	float: left;
	height: 90px;
	overflow: hidden;
	padding: 0px;
	text-align: center;
	width: 120px;
}
DIV.thumb {
	border: 1px dotted #ccc;
	margin: 5px 0px 0px 10px;
}
DIV.thumb_wvl {
	border: 2px solid #F00;
	margin: 5px 0px 0px 8px;
}

#sticky_keywords {
	color: #000000;
	left: 0px;
	position: absolute;
	top: 30px;
}
#sticky_keywords A {
	color: #000;
	margin: 0 15px 0 0;
	padding: 0px;
	text-decoration: none;
}
#sticky_keywords A:hover {
	background-color: #CCC;
}

.sticky_keyword {
	clear: both;
	height: 28px;
	margin-bottom: 5px;
	overflow: hidden;
}
.hhandle {
	-moz-border-radius-bottomright: 10px;
	-moz-border-radius-topright: 10px;
	background-color: #444;
	border-color: #444;
	border-radius: 0 10px 10px 0;
	border-style: solid;
	border-width: 1px 0px;
	color: #FFF;
	cursor: pointer;
	float: left;
	padding: 4px 7px 4px 4px;
	text-align: center;
}
.hhandle:hover {
	background-color: #666;
}
.hunfold {
	background-color: #FFF;
	border-color: #444;
	border-style: solid;
	border-width: 1px 0px;
	display: none;
	float: left;
	padding: 4px 4px;
}

#stats {
	background-color: #EEE;
	font-size: 90%;
	margin: 30px 0px 0px 5px;
	padding: 3px;
	width: 100px;
}

#add {
{'fraction_non_alphanumeric': 0.14783731439638476, 'fraction_numerical': 0.06536475145255004, 'mean_word_length': 3.953637090327738, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 9, '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': '2196536', 'n_tokens_mistral': 3132, 'n_tokens_neox': 2704, 'n_words': 683}