<commit_before>body, html {
	height: 100%;
}

body {
    margin: 0px;
    padding: 0px;
    background-color: #e7e7e7;
    font-size: 14px;
}

h1,h2,h3,h4,h5,p,span,ul,ol,div,form,td {
    font-family: 'Open Sans', sans-serif;
    font-size: 100%;
}

p {
	line-height: 130%;
}

strong {
	font-weight: bold;
}

sup { font-size: 75%; vertical-align: super; }
sub { font-size: 75%; vertical-align: sub; }

h1 {
    font-family: 'Exo', sans-serif;
    font-weight: bold;
    font-variant: small-caps;
    padding-top: 18px;
    padding-left: 10px;
    font-size: 250%;
    color: #eee;
}
h1 a, h1 a:visited {
    color: #eee;
    text-decoration: none;
}
h1 a:hover {
    text-shadow: #eee 0 0 3px;
}

h2 {
    font-size: 170%;
    margin-bottom: 1em;
    border-bottom: 1px dotted #0088c3;
    width: 100%;
}

h3 {
	font-size: 120%;
    margin-top: 1.5em;
    margin-bottom: 0.75em;
    border-bottom: 1px dotted #0088c3;
}

p,pre,blockquote,ul,ol {
    margin-top: 0.75em;
    margin-bottom: 0.75em;
}

p {
    text-align: justify;
}

hr {
    border: 0; border-top: 1px dotted #0088c3;
}

/* ---------- Base layout tuning ---------- */

.container {
	max-width: 1200px;
	width: 90%;
	min-width: 550px;
	margin: 0 auto;
    clear: both;
}

#base {
	height: auto !important;
	height: 100%;
	min-height: 100%;
	background-color: #f9f9f9;
	box-shadow: 0px 0px 5px #888;
	-moz-box-shadow: 0px 0px 5px #888;
	-webkit-box-shadow: 0px 0px 5px #888;
}

/* ---------- Header ---------- */

#header {
    background: #111121;
    background: -moz-linear-gradient(top, rgba(17,17,57,1) 0%, rgba(17,17,33,1) 100%);
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(17,17,57,1)), color-stop(100%,rgba(17,17,33,1)));
    background: -webkit-linear-gradient(top, rgba(17,17,57,1) 0%,rgba(17,17,33,1) 100%);
    background: -o-linear-gradient(top, rgba(17,17,57,1) 0%,rgba(17,17,33,1) 100%);
    background: -ms-linear-gradient(top, rgba(17,17,57,1) 0%,rgba(17,17,33,1) 100%);
    background: linear-gradient(to bottom, rgba(17,17,57,1) 0%,rgba(17,17,33,1) 100%);
    background: #0088C3;
}

#header_nav {
    background-color: #111121;
    background: rgba(0,0,0,.7);
    box-shadow: 0px 3px 3px #888;
	-moz-box-shadow: 0px 3px 3px #888;
	-webkit-box-shadow: 0px 3px 3px #888;
}
#header_nav:after {
    display: table;<commit_msg>base_layout: Display empty header navbars, too<commit_after>body, html {
	height: 100%;
}

body {
    margin: 0px;
    padding: 0px;
    background-color: #e7e7e7;
    font-size: 14px;
}

h1,h2,h3,h4,h5,p,span,ul,ol,div,form,td {
    font-family: 'Open Sans', sans-serif;
    font-size: 100%;
}

p {
	line-height: 130%;
}

strong {
	font-weight: bold;
}

sup { font-size: 75%; vertical-align: super; }
sub { font-size: 75%; vertical-align: sub; }

h1 {
    font-family: 'Exo', sans-serif;
    font-weight: bold;
    font-variant: small-caps;
    padding-top: 18px;
    padding-left: 10px;
    font-size: 250%;
    color: #eee;
}
h1 a, h1 a:visited {
    color: #eee;
    text-decoration: none;
}
h1 a:hover {
    text-shadow: #eee 0 0 3px;
}

h2 {
    font-size: 170%;
    margin-bottom: 1em;
    border-bottom: 1px dotted #0088c3;
    width: 100%;
}

h3 {
	font-size: 120%;
    margin-top: 1.5em;
    margin-bottom: 0.75em;
    border-bottom: 1px dotted #0088c3;
}

p,pre,blockquote,ul,ol {
    margin-top: 0.75em;
    margin-bottom: 0.75em;
}

p {
    text-align: justify;
}

hr {
    border: 0; border-top: 1px dotted #0088c3;
}

/* ---------- Base layout tuning ---------- */

.container {
	max-width: 1200px;
	width: 90%;
	min-width: 550px;
	margin: 0 auto;
    clear: both;
}

#base {
	height: auto !important;
	height: 100%;
	min-height: 100%;
	background-color: #f9f9f9;
	box-shadow: 0px 0px 5px #888;
	-moz-box-shadow: 0px 0px 5px #888;
	-webkit-box-shadow: 0px 0px 5px #888;
}

/* ---------- Header ---------- */

#header {
    background: #111121;
    background: -moz-linear-gradient(top, rgba(17,17,57,1) 0%, rgba(17,17,33,1) 100%);
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(17,17,57,1)), color-stop(100%,rgba(17,17,33,1)));
    background: -webkit-linear-gradient(top, rgba(17,17,57,1) 0%,rgba(17,17,33,1) 100%);
    background: -o-linear-gradient(top, rgba(17,17,57,1) 0%,rgba(17,17,33,1) 100%);
    background: -ms-linear-gradient(top, rgba(17,17,57,1) 0%,rgba(17,17,33,1) 100%);
    background: linear-gradient(to bottom, rgba(17,17,57,1) 0%,rgba(17,17,33,1) 100%);
    background: #0088C3;
}

#header_nav {
    background-color: #111121;
    background: rgba(0,0,0,.7);
    box-shadow: 0px 3px 3px #888;
	-moz-box-shadow: 0px 3px 3px #888;
	-webkit-box-shadow: 0px 3px 3px #888;
    min-height: 32px;
}
#header_nav:after {
    display: table;
{'fraction_non_alphanumeric': 0.19359595534021487, 'fraction_numerical': 0.11207078154623973, 'mean_word_length': 3.1467248908296943, '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': '1212714', 'n_tokens_mistral': 2418, 'n_tokens_neox': 2004, 'n_words': 422}