<commit_before>
/*

	#5690C7
	#FCFCFC
	#141414
	#949494
	#FFF1BF

*/
/********************************^
//Pretty CSS3 buttons
//^*****************************/	

.button { display: inline-block; font: normal 13px/1 'Droid Sans Bold', Verdana; text-align: center; cursor: pointer; }

	.button.important {
		padding: 11px 9px 12px 10px;
		color: #FCFCFC;
		word-spacing: 0.2em; /*letter-spacing: 0.04em;*/
		
		-moz-border-radius: 	5px;
		-webkit-border-radius: 	5px;
		border-radius: 			5px;
		-moz-background-clip: padding; -webkit-background-clip: padding-box; background-clip: padding-box;
		
		-moz-box-shadow: 	0 1px 1px #fff, 0 0 3px #fff inset;
		-webkit-box-shadow: 0 1px 1px #fff, 0 0 3px #fff inset;
		box-shadow: 		0 1px 1px #fff, 0 0 3px #fff inset;
	}
	
	:active.button.important {
		position: relative; top: 1px;
		border: solid 1px #fff;
		-moz-background-clip: padding; -webkit-background-clip: padding-box; background-clip: padding-box; 
	}
	
	.button.option {
		padding: 6px 9px 8px 10px;
		color: #FCFCFC;
		font: bold 10px/1 Verdana;
		word-spacing: 0.2em; /*letter-spacing: 0.04em;*/
		
		-moz-border-radius: 	5px;
		-webkit-border-radius: 	5px;
		border-radius: 			5px;
		-moz-background-clip: padding; -webkit-background-clip: padding-box; background-clip: padding-box;
		
		-moz-box-shadow: 	0 1px 1px #fff, 0 0 1px #fff inset;
		-webkit-box-shadow: 0 1px 1px #fff, 0 0 1px #fff inset;
		box-shadow: 		0 1px 1px #fff, 0 0 1px #fff inset;
	}
	
	:active.button.option {
		position: relative; top: 1px;
		border: solid 1px #fff;
		-moz-background-clip: padding; -webkit-background-clip: padding-box; background-clip: padding-box; 
	}
	
	/********************************^
	//Blue Button
	//^*****************************/
	.button.regular {
		background: #5690C7;
		border: solid 1px #3e7fbd;
		text-shadow: #214363 0 1px 1px;
		
		background: -webkit-gradient(linear, left top, left bottom, from(#70a1cf), to(#5690c7)); 
		background: -webkit-linear-gradient(top, #70a1cf, #5690c7); 
		background:    -moz-linear-gradient(top, #70a1cf, #5690c7); 
		background:     -ms-linear-gradient(top, #70a1cf, #5690c7); 
		background:      -o-linear-gradient(top, #70a1cf, #5690c7); 
		background:         linear-gradient(top, #70a1cf, #5690c7);
		filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#70a1cf', EndColorStr='#5690c7');
	}
	:hover.button.regular, :focus.button.regular {
		background: -webkit-gradient(linear, left top, left bottom, from(#89b2d8), to(#5690c7)); 
		background: -webkit-linear-gradient(top, #89b2d8, #5690c7); 
		background:    -moz-linear-gradient(top, #89b2d8, #5690c7); 
		background:     -ms-linear-gradient(top, #89b2d8, #5690c7); 
		background:      -o-linear-gradient(top, #89b2d8, #5690c7); 
		background:         linear-gradient(top, #89b2d8, #5690c7);
		filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#89b2d8', EndColorStr='#5690c7');
	}
	:active.button.regular {
		text-shadow: #326596 0 1px 0, #326596 0 -1px 0, #326596 1px 0 0, #326596 -1px 0 0;<commit_msg>regular button cleaning<commit_after>
/*

	#5690C7
	#FCFCFC
	#141414
	#949494
	#FFF1BF

*/
/********************************^
//Pretty CSS3 buttons
//^*****************************/	

.button { display: inline-block; font: normal 13px/1 'Droid Sans Bold', Verdana; text-align: center; cursor: pointer; }

	.button.important {
		padding: 11px 9px 12px 10px;
		color: #FCFCFC;
		word-spacing: 0.2em; /*letter-spacing: 0.04em;*/
		
		-moz-border-radius: 	5px;
		-webkit-border-radius: 	5px;
		border-radius: 			5px;
		-moz-background-clip: padding; -webkit-background-clip: padding-box; background-clip: padding-box;
		
		-moz-box-shadow: 	0 1px 1px #fff, 0 0 3px #fff inset;
		-webkit-box-shadow: 0 1px 1px #fff, 0 0 3px #fff inset;
		box-shadow: 		0 1px 1px #fff, 0 0 1px #fff inset, 0 -1px 0 rgba(255,255,255,0.2) inset;
	}
	
	:active.button.important {
		position: relative; top: 1px;
		border: solid 1px #fff;
		-moz-background-clip: padding; -webkit-background-clip: padding-box; background-clip: padding-box; 
	}
	
	.button.option {
		padding: 6px 9px 8px 10px;
		color: #FCFCFC;
		font: bold 10px/1 Verdana;
		word-spacing: 0.2em; /*letter-spacing: 0.04em;*/
		
		-moz-border-radius: 	5px;
		-webkit-border-radius: 	5px;
		border-radius: 			5px;
		-moz-background-clip: padding; -webkit-background-clip: padding-box; background-clip: padding-box;
		
		-moz-box-shadow: 	0 1px 1px #fff, 0 0 1px #fff inset;
		-webkit-box-shadow: 0 1px 1px #fff, 0 0 1px #fff inset;
		box-shadow: 		0 1px 1px #fff, 0 0 1px #fff inset;
	}
	
	:active.button.option {
		position: relative; top: 1px;
		border: solid 1px #fff;
		-moz-background-clip: padding; -webkit-background-clip: padding-box; background-clip: padding-box; 
	}
	
	/********************************^
	//Blue Button
	//^*****************************/
	.button.regular {
		background: #5690C7;
		border: solid 1px #3e7fbd;
		text-shadow: #214363 0 1px 1px;
		
		background: -webkit-gradient(linear, left top, left bottom, from(#7ca9d4), to(#5690c7)); 
		background: -webkit-linear-gradient(top, #7ca9d4, #5690c7); 
		background:    -moz-linear-gradient(top, #7ca9d4, #5690c7); 
		background:     -ms-linear-gradient(top, #7ca9d4, #5690c7); 
		background:      -o-linear-gradient(top, #7ca9d4, #5690c7); 
		background:         linear-gradient(top, #7ca9d4, #5690c7);
		filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#7ca9d4', EndColorStr='#5690c7');
	}
	:hover.button.regular, :focus.button.regular {
		background: -webkit-gradient(linear, left top, left bottom, from(#89b2d8), to(#6398cb)); 
		background: -webkit-linear-gradient(top, #89b2d8, #6398cb); 
		background:    -moz-linear-gradient(top, #89b2d8, #6398cb); 
		background:     -ms-linear-gradient(top, #89b2d8, #6398cb); 
		background:      -o-linear-gradient(top, #89b2d8, #6398cb); 
		background:         linear-gradient(top, #89b2d8, #6398cb);
		filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#89b2d8', EndColorStr='#6398cb');
	}
	:active.button.regular {
		text-shadow: #326596 0 1px 0, #326596 0 -1px 0, #326596 1px 0 0, #326596 -1px 0 0;
{'fraction_non_alphanumeric': 0.1888454011741683, 'fraction_numerical': 0.087573385518591, 'mean_word_length': 3.776479750778816, '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': '1173492', 'n_tokens_mistral': 2912, 'n_tokens_neox': 2356, 'n_words': 528}