<commit_before>/*
First off, some styling to bootstrap
These have been adapted from: http://twitter.github.io/bootstrap/examples/carousel.html
*/
body {

	padding-bottom: 40px;
    color: #5a5a5a;
}

.navbar-wrapper {
	margin-bottom: -90px;
}

.container {
	margin-left:10%;
	margin-right:0;

	width:80%;
}

.navbar .navbar-inner {
	background-image: none;
	background-color: rgb(238, 238, 238);
	border-radius: 0px 0px 4px 4px;
	border: 1px solid rgb(204, 204, 204);;
}



.navbar .brand {
	padding: 14px 20px 16px;
	font-size: 16px;
	font-weight: bold;
}

.navbar .nav > li > a {
	padding: 15px 20px;
}

.navbar .btn-navbar {
	margin-top: 10px;
}

.navbar-inverse .brand, .navbar-inverse .nav > li > a {
	text-shadow: none;
}

@media (max-width: 979px) {

	.container.navbar-wrapper {
		margin-bottom: 0;
	}
	.navbar-inner {
		border-radius: 0;
		margin: -20px 0;
	}
}


@media (max-width: 767px) {

	.container {
		margin-left:0;
		margin-right:0;
		width:auto;
	}

	.navbar-inner {
		padding-top:10px;
		margin: -20px;
	}
}

/*
Form stuff
Adjusted from: http://twitter.github.io/bootstrap/examples/signin.html<commit_msg>Hmm not sure i like this CSS but looks okay?<commit_after>/*
First off, some styling to bootstrap
These have been adapted from: http://twitter.github.io/bootstrap/examples/carousel.html
*/
body {

	padding-bottom: 40px;
    color: #5a5a5a;
}

.navbar-wrapper {
	margin-bottom: -90px;
}

.container {
	margin-left:10%;
	margin-right:0;

	width:80%;
}

.navbar .navbar-inner {
	background-image: none;
	background-color: rgb(238, 238, 238);
	border-radius: 0px 0px 4px 4px;
	border: 1px solid rgb(204, 204, 204);;
}



.navbar .brand {
	padding: 14px 20px 16px;
	font-size: 16px;
	font-weight: bold;
}

.navbar .nav > li > a {
	padding: 15px 20px;
}

.navbar .btn-navbar {
	margin-top: 10px;
}

.navbar-inverse .brand, .navbar-inverse .nav > li > a {
	color:#222;
	text-shadow: none;
}

.navbar-inverse .brand:hover, .navbar-inverse .nav > li > a:hover, .navbar-inverse .brand:focus, .navbar-inverse .nav > li > a:focus {
	color:#555;
}

.navbar-inverse .nav > li > a:focus, .navbar-inverse .nav > li > a:hover {
	color:#555;
}

@media (max-width: 979px) {

	.container.navbar-wrapper {
		margin-bottom: 0;
	}
	.navbar-inner {
		border-radius: 0;
		margin: -20px 0;
	}
}


@media (max-width: 767px) {

	.container {
		margin-left:0;
		margin-right:0;
		width:auto;
	}

	.navbar-inner {
		padding-top:10px;
		margin: -20px;
	}
}

/*
Form stuff
Adjusted from: http://twitter.github.io/bootstrap/examples/signin.html
{'fraction_non_alphanumeric': 0.1608832807570978, 'fraction_numerical': 0.0555993690851735, 'mean_word_length': 3.285472972972973, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 19, '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': '5986298', 'n_tokens_mistral': 1205, 'n_tokens_neox': 1010, 'n_words': 233}