<commit_before>@charset "utf-8";

@font-face {
	font-family: Diavlo;
	src: url('/static/fonts/Diavlo_BOOK_II_37.otf');
	/* A font by <NAME> (exljbris) -> www.exljbris.com */
}

@font-face {
	font-family: Diavlo;
	font-weight: bold;
	src: url('/static/fonts/Diavlo_BOLD_II_37.otf');
	/* A font by <NAME> (exljbris) -> www.exljbris.com */
}

@font-face {
	font-family: GrutchShaded;
	src: url('/static/fonts/GrutchShaded.ttf');
	/* Free font by <NAME> */
}

html {
	background:url('/static/images/bg-diggems.jpg') repeat-x left top; 
	background-color: #543116; 
	background-size: auto 100%;
	font-family: sans;
	font-size: small;
	z-index: -1;
}

.box {
	padding: 11px;
	background: rgba(255,255,255,0.25);
	-moz-border-radius: 5px;
	-o-border-radius: 5px;
	-webkit-border-radius: 5px;
	border-radius: 5px;
	box-shadow: 0px 0px 5px black, inset 0px 0px 3px #fff;
	-o-box-shadow: 0px 0px 5px black, inset 0px 0px 3px #fff;
	-moz-box-shadow: 0px 0px 5px black, inset 0px 0px 3px #fff;
	-webkit-box-shadow: 0px 0px 5px black, inset 0px 0px 3px #fff; 
	text-shadow: 0.1em 0.1em 0.2em #535353;
	font-family: Diavlo;
}

.button {
	min-width: 15px;
	padding: 4px;
	margin: 0px 5px 0px 0px;
	background-color: #a0dC48;
	display: block;
	-moz-border-radius: 3px;
	-o-border-radius: 3px;
	-webkit-border-radius: 3px;
	border-radius: 3px;
	border: 1px outset #B0EC58;
	color: #f9f9f9;
	font-size: 13px;
	letter-spacing: 1px;
	font-weight: bold;
	text-shadow: #72a749 0 -1px 0;
	text-align: center;
}

.button:hover {
	color: #f9f9f9;
	cursor: pointer;
}

.button:active {
	background-color: #6aa040;
	border: 1px inset #6aa040;
}

.clr {
	clear:both;
	padding:0;
	margin:0;
	width:100%;
	font-size:0;
	line-height:0;
	display:none;
}

ul {
	list-style:none;
	padding: 0;
	margin: 0;
}

li {
	list-style:none;
	padding: 0;
	margin: 0;
}

/* HEADER */
#header {
	padding:1em;
/*	min-width:521px; */
}

.logo {
	vertical-align: middle;
	padding-left:10px;
}

#title {
	font-family: GrutchShaded;
	text-shadow: 0.1em 0.1em 0.2em #535353;
	color: #551a8b;
	font-size: 68px;
	padding-left:20px;
	letter-spacing: 4pt;
}

#subtitle {
	color: #9a64c8;
}

#user_info {
	float: right;
	top: 20px;
	position: relative;
}

#user_pic {
	float: left;
}

#user_stats {
	padding-left: 5px;
}

#footer_container {
	display: block;
	margin: 0 auto;
}

#footer_container li {
	float: left;
	padding-left: 20px;
	list-style-type: none;
}

#footer_container li a {
	color: white;
	clear: both;
	white-space: normal;
	text-decoration: none;
}

#footer_container li a:hover {
	text-decoration: underline;
}
<commit_msg>Fixed background glitch in Firefox.<commit_after>@charset "utf-8";

@font-face {
	font-family: Diavlo;
	src: url('/static/fonts/Diavlo_BOOK_II_37.otf');
	/* A font by <NAME> (exljbris) -> www.exljbris.com */
}

@font-face {
	font-family: Diavlo;
	font-weight: bold;
	src: url('/static/fonts/Diavlo_BOLD_II_37.otf');
	/* A font by <NAME> (exljbris) -> www.exljbris.com */
}

@font-face {
	font-family: GrutchShaded;
	src: url('/static/fonts/GrutchShaded.ttf');
	/* Free font by <NAME> */
}

html {
	background:url('/static/images/bg-diggems.jpg') repeat-x left top; 
	background-color: #543116; 
	background-size: auto 100%;
	font-family: sans;
	font-size: small;
	z-index: -1;
	height: 100%;
}

.box {
	padding: 11px;
	background: rgba(255,255,255,0.25);
	-moz-border-radius: 5px;
	-o-border-radius: 5px;
	-webkit-border-radius: 5px;
	border-radius: 5px;
	box-shadow: 0px 0px 5px black, inset 0px 0px 3px #fff;
	-o-box-shadow: 0px 0px 5px black, inset 0px 0px 3px #fff;
	-moz-box-shadow: 0px 0px 5px black, inset 0px 0px 3px #fff;
	-webkit-box-shadow: 0px 0px 5px black, inset 0px 0px 3px #fff; 
	text-shadow: 0.1em 0.1em 0.2em #535353;
	font-family: Diavlo;
}

.button {
	min-width: 15px;
	padding: 4px;
	margin: 0px 5px 0px 0px;
	background-color: #a0dC48;
	display: block;
	-moz-border-radius: 3px;
	-o-border-radius: 3px;
	-webkit-border-radius: 3px;
	border-radius: 3px;
	border: 1px outset #B0EC58;
	color: #f9f9f9;
	font-size: 13px;
	letter-spacing: 1px;
	font-weight: bold;
	text-shadow: #72a749 0 -1px 0;
	text-align: center;
}

.button:hover {
	color: #f9f9f9;
	cursor: pointer;
}

.button:active {
	background-color: #6aa040;
	border: 1px inset #6aa040;
}

.clr {
	clear:both;
	padding:0;
	margin:0;
	width:100%;
	font-size:0;
	line-height:0;
	display:none;
}

ul {
	list-style:none;
	padding: 0;
	margin: 0;
}

li {
	list-style:none;
	padding: 0;
	margin: 0;
}

/* HEADER */
#header {
	padding:1em;
/*	min-width:521px; */
}

.logo {
	vertical-align: middle;
	padding-left:10px;
}

#title {
	font-family: GrutchShaded;
	text-shadow: 0.1em 0.1em 0.2em #535353;
	color: #551a8b;
	font-size: 68px;
	padding-left:20px;
	letter-spacing: 4pt;
}

#subtitle {
	color: #9a64c8;
}

#user_info {
	float: right;
	top: 20px;
	position: relative;
}

#user_pic {
	float: left;
}

#user_stats {
	padding-left: 5px;
}

#footer_container {
	display: block;
	margin: 0 auto;
}

#footer_container li {
	float: left;
	padding-left: 20px;
	list-style-type: none;
}

#footer_container li a {
	color: white;
	clear: both;
	white-space: normal;
	text-decoration: none;
}

#footer_container li a:hover {
	text-decoration: underline;
}

{'fraction_non_alphanumeric': 0.16259850086488564, 'fraction_numerical': 0.06246396309821257, 'mean_word_length': 3.76993583868011, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 13, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, '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': '888293', 'n_tokens_mistral': 2594, 'n_tokens_neox': 2339, 'n_words': 512}