<commit_before>/********************** 
 * global tag changes *
 **********************/
html, body {
    font-size: 12px;
    margin: 0px; padding: 0px;
    min-width: 790px;
    /* background-color: #bab9b9; */
}
h3 { padding-top: 0px; margin-top: 0px; }
h3.label, h4.label { padding: 0px; margin: 0px; }
a { text-decoration: none; border: none; }
a img { border: none; }

/************************
 * base template styles *
 ************************/
#header {
    height: 4.2em;
    margin: 0px;
    margin-bottom: 0.4em;
    padding: 0em 1em;
    background-color: white;
}

#upper-header {
	height: 4em;
}

#logo {
	float: left;
	border: 1px solid #CCC;
	border-top: 0px;
	height: 3.3em;
}

/* nav related styles */
#nav { 
	float: right;
	margin: 0em 0em 0em 1em; 
}

#nav > li > a {
	display: block;
	width: 8em;

	border: 1px solid #DDD;
	border-top: 0px;
	padding: 2.1em 0.5em 0.3em 0.5em;

	font-size: 0.9em;
	color: #888888;
}

#nav > li {
    padding: 0em 4px;
}

#nav > li:last-child {
	padding-right: 0em;
}

#nav a:hover {
	border-color: #888;
}

/* END nav related styles */

#user-info { float: left; width: 20em; }

#heading { float: left; }
#heading h1 { padding: 0px; margin: 0px; }
#content { padding: 0px 15px 15px 15px; }

form#login {
	width: 24em;
}

form#login fieldset {
	background-color: white;
}

/* fastsearch */
div#fast-search fieldset {
	border: 0px;
	margin: 0px;
	padding: 0px;
}

#search_term {
    background: #a8ecf0;
}

div#fast-search input.flat {
    padding: 1px;
    background: #69bad5;
}
/* end fastsearch */

/* Header right under the main header */
#lower-header { margin-top: 2px;}<commit_msg>skin tweak for colors of search<commit_after>/********************** 
 * global tag changes *
 **********************/
html, body {
    font-size: 12px;
    margin: 0px; padding: 0px;
    min-width: 790px;
    /* background-color: #bab9b9; */
}
h3 { padding-top: 0px; margin-top: 0px; }
h3.label, h4.label { padding: 0px; margin: 0px; }
a { text-decoration: none; border: none; }
a img { border: none; }

/************************
 * base template styles *
 ************************/
#header {
    height: 4.2em;
    margin: 0px;
    margin-bottom: 0.4em;
    padding: 0em 1em;
    background-color: white;
}

#upper-header {
	height: 3.5em;
	padding-bottom: .3em;
}

#logo {
	float: left;
	border: 1px solid #CCC;
	border-top: 0px;
	height: 100%;
}

/* nav related styles */
#nav { 
	float: right;
	margin: 0em 0em 0em 1em; 
}

#nav > li > a {
	display: block;
	width: 8em;

	border: 1px solid #DDD;
	border-top: 0px;
	padding: 1.8em 0.5em 0.4em 0.5em;
	height: 100%;

	font-size: 0.9em;
	color: #888888;
}

#nav > li {
    padding: 0em 4px;
}

#nav > li:last-child {
	padding-right: 0em;
}

#nav a:hover {
	border-color: #888;
}

/* END nav related styles */

#user-info { 
	font-size: 0.8em;
	float: left; 
	width: 20em;
}

#heading { float: left; }
#heading h1 { padding: 0px; margin: 0px; }
#content { padding: 0px 15px 15px 15px; }

form#login {
	width: 24em;
}

form#login fieldset {
	background-color: white;
}

/* fastsearch */
div#fast-search fieldset {
	border: 0px;
	margin: 0px;
	padding: 0px;
}

#search_term {
    background: #BAE7B0;
}

div#fast-search input.flat {
    padding: 1px;
    background: #78C778;
}
/* end fastsearch */

/* Header right under the main header */
#lower-header { margin-top: 2px;}
{'fraction_non_alphanumeric': 0.20320855614973263, 'fraction_numerical': 0.0510992275698158, 'mean_word_length': 3.2459016393442623, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 11, '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': '5858954', 'n_tokens_mistral': 1484, 'n_tokens_neox': 1340, 'n_words': 352}