<commit_before>@import url(https://fonts.googleapis.com/css?family=Droid+Sans);

#hideOnLoad {
	visibility: hidden;
}

.document_not_ready_spinner {
	margin-top: 150px;
}

h3 {
	color: #102E37;
}

body {
	background-color: #FCFCFC;
	font-family: 'Droid Sans', sans-serif;
}

@media only screen and (min-width : 1101px) {
	.largeMenuBar {
		display: inline;
	}
	.smallMenuBar {
		display: none;
	}

	.menubar {
		height: 50px;
	}
	.subMenubar {
		top: 50px;
	}
	.mainBody {
		top: 50px;
	}
}

@media only screen and (max-width : 1100px) {
	.largeMenuBar {
		display: none;
	}
	.smallMenuBar {
		display: inline;
	}
	.menubar {
		height: 100px;
	}
	.subMenubar {
		top: 100px;
	}
	.mainBody {
		top: 100px;
	}
}

.loading_trouble_message {
	position: fixed;
	text-align: center;
	background-color: #F0F5FF;
	color: #000000;
	width: 100%;
	bottom: 0;
	z-index: 100;
}

.menubar {
	background-color: #102E37;
	border: 1px solid #102E37;
	background: #102E37;
	position: fixed; 
	left: 0;
	right: 0;
	margin-left: 0;
	margin-right: 0;
	z-index: 100;
	padding-left: 10px;
}

.menubar span {
	padding: 0;
	text-align: center;
	border-radius: 5px;
	display: inline;
	color: #FFFFFF;
}

.menubar span a {
	text-decoration: none;
	line-height: 50px;
	color: #FFFFFF;
	text-transform: uppercase;
	font-size: .95em;
	font-weight: 900;
	padding: 0 15px;
	background: #102E37;
	transition: color 700ms;
	-moz-transition: color 700ms; /* Firefox 4 */
	-webkit-transition: color 700ms; /* Safari and Chrome */
	-o-transition: color 700ms; /* Opera */
}

.menubar a:hover {
	color: #6D8CA0;
}

.menuTitle {
	font-size: 1.3em;
	float: left;
}

.smallMenuBarInfo {
	color: #FFFFFF;
}

.smallMenuBarInfoItem {
	padding: 10px;
}

.floatLeft {
	float: left;
}

.floatRight {
	float: right;
}

.rightMenuItems {
	float: right;
}

.rightMenuItemsDiv {
	float: right;
	margin-top: 5px;
	margin-right: 5px;
}

.rightMenuItemsDiv div {
	display: inline-block;
	vertical-align: top;
	text-align: left;
}

.clearDiv {
	clear: both;
}

.mainMenubar {
	top: 0;
}

.subMenubar {
	background-color: #102E37;
	border: 1px solid #102E37;
	background: #102E37;
	color: #FFFFFF;
	left: 0;
	right: 0;
	position: relative;
	margin-left: 0;
	margin-right: 0;
	padding: 10px;
	z-index: 99;
}

.subSubMenubar {
	/* 	top: 80; */
	background-color: #102E37;
	border: 1px solid #102E37;
	background: #102E37;
	left: 0;
	right: 0;
	margin-left: 0;
	margin-right: 0;<commit_msg>Minor css fix; submenubar position is now fixed.<commit_after>@import url(https://fonts.googleapis.com/css?family=Droid+Sans);

#hideOnLoad {
	visibility: hidden;
}

.document_not_ready_spinner {
	margin-top: 150px;
}

h3 {
	color: #102E37;
}

body {
	background-color: #FCFCFC;
	font-family: 'Droid Sans', sans-serif;
}

@media only screen and (min-width : 1101px) {
	.largeMenuBar {
		display: inline;
	}
	.smallMenuBar {
		display: none;
	}

	.menubar {
		height: 50px;
	}
	.subMenubar {
		top: 50px;
	}
	.mainBody {
		top: 50px;
	}
}

@media only screen and (max-width : 1100px) {
	.largeMenuBar {
		display: none;
	}
	.smallMenuBar {
		display: inline;
	}
	.menubar {
		height: 100px;
	}
	.subMenubar {
		top: 100px;
	}
	.mainBody {
		top: 100px;
	}
}

.loading_trouble_message {
	position: fixed;
	text-align: center;
	background-color: #F0F5FF;
	color: #000000;
	width: 100%;
	bottom: 0;
	z-index: 100;
}

.menubar {
	background-color: #102E37;
	border: 1px solid #102E37;
	background: #102E37;
	position: fixed; 
	left: 0;
	right: 0;
	margin-left: 0;
	margin-right: 0;
	z-index: 100;
	padding-left: 10px;
}

.menubar span {
	padding: 0;
	text-align: center;
	border-radius: 5px;
	display: inline;
	color: #FFFFFF;
}

.menubar span a {
	text-decoration: none;
	line-height: 50px;
	color: #FFFFFF;
	text-transform: uppercase;
	font-size: .95em;
	font-weight: 900;
	padding: 0 15px;
	background: #102E37;
	transition: color 700ms;
	-moz-transition: color 700ms; /* Firefox 4 */
	-webkit-transition: color 700ms; /* Safari and Chrome */
	-o-transition: color 700ms; /* Opera */
}

.menubar a:hover {
	color: #6D8CA0;
}

.menuTitle {
	font-size: 1.3em;
	float: left;
}

.smallMenuBarInfo {
	color: #FFFFFF;
}

.smallMenuBarInfoItem {
	padding: 10px;
}

.floatLeft {
	float: left;
}

.floatRight {
	float: right;
}

.rightMenuItems {
	float: right;
}

.rightMenuItemsDiv {
	float: right;
	margin-top: 5px;
	margin-right: 5px;
}

.rightMenuItemsDiv div {
	display: inline-block;
	vertical-align: top;
	text-align: left;
}

.clearDiv {
	clear: both;
}

.mainMenubar {
	top: 0;
}

.subMenubar {
	background-color: #102E37;
	border: 1px solid #102E37;
	background: #102E37;
	color: #FFFFFF;
	left: 0;
	right: 0;
	position: fixed;
	margin-left: 0;
	margin-right: 0;
	padding: 10px;
	z-index: 99;
}

.subSubMenubar {
	/* 	top: 80; */
	background-color: #102E37;
	border: 1px solid #102E37;
	background: #102E37;
	left: 0;
	right: 0;
	margin-left: 0;
	margin-right: 0;
{'fraction_non_alphanumeric': 0.15079689415610953, 'fraction_numerical': 0.06456885982836126, 'mean_word_length': 3.5450324976787373, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 2, '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': '7051190', 'n_tokens_mistral': 2423, 'n_tokens_neox': 2133, 'n_words': 480}