<commit_before>/*
 * Globals
 */

/* Links */
a, a:focus, a:hover {
	color: #555;
}

/*
 * Base structure
 */
html, body {
	height: 100%;
	background-color: #FFF;
	color: #333;
	font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
}

.logo {
	float: left;
	margin: 5px 10px;
	height: 4em;
}

/* For side shadow and padding to stay below header/above footer */
.site-wrapper {
	width: 100%;
	height: 100%; /* For at least Firefox */
	min-height: 100%;
	padding: 196px 0 90px 0;
}

/* Add padding to not stick to the edges */
#dashboard {
	padding: 10px 10px 10px 10px;
}

#alerts {
	padding: 10px 10px 10px 10px;
}

.alert {
	padding: 6px;
	margin-bottom: 5px;
}

.panel {
	overflow: hidden;
}

.big {
	font-size: 1.2em
}

/* Add fixed heights for dashboard panels */
.status {
	height: 350px;
}

.notifications {
	height: 350px;
	overflow-y: scroll;
}

.queue {
	height: 400px;
	overflow-y: scroll;
}

.running {
	height: 400px;
	overflow-y: scroll;
}

.finished {
	height: 400px;
	overflow-y: scroll;
}

.resources {
	height: 400px;
}

.job {
	height: 400px;
}



@media ( min-width : 466px) {
	.site-wrapper {
		padding: 170px 0 90px 0;
	}
}
@media ( min-width : 640px) {
	.site-wrapper {
		padding: 128px 0 90px 0;
	}
}
@media ( min-width : 768px) {
	.site-wrapper {
		padding: 112px 0 90px 0;
	}
}
@media ( min-width : 981px) {
	.site-wrapper {
		padding: 75px 0 90px 0;
	}
}

/* Padding for spacing */
.inner {
	padding: 30px;
}

/*
 * Header
 */
#console {
	height: 15em;
 	margin: 5px 15px 15px 15px;
 	padding: 5px 20px 5px 15px;
 	border: 1px solid #ccc !important;
 	border-radius: 15px;
 	font-size: 1.2em;
 	overflow-y:auto;
}

.hidden {
	display:none;
}

#console-input {
	min-height: 1.2em;
	outline: transparent;
	white-space: pre;
	width: 95%;
	display: inline-block;
}

#console-toggle {
	color: #555;
	float: right;
	margin-right: 15px
}

.custom-navbar {
	background-color: #FFF;<commit_msg>resizable console + wrap input<commit_after>/*
 * Globals
 */

/* Links */
a, a:focus, a:hover {
	color: #555;
}

/*
 * Base structure
 */
html, body {
	height: 100%;
	background-color: #FFF;
	color: #333;
	font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
}

.logo {
	float: left;
	margin: 5px 10px;
	height: 4em;
}

/* For side shadow and padding to stay below header/above footer */
.site-wrapper {
	width: 100%;
	height: 100%; /* For at least Firefox */
	min-height: 100%;
	padding: 196px 0 90px 0;
}

/* Add padding to not stick to the edges */
#dashboard {
	padding: 10px 10px 10px 10px;
}

#alerts {
	padding: 10px 10px 10px 10px;
}

.alert {
	padding: 6px;
	margin-bottom: 5px;
}

.panel {
	overflow: hidden;
}

.big {
	font-size: 1.2em
}

/* Add fixed heights for dashboard panels */
.status {
	height: 350px;
}

.notifications {
	height: 350px;
	overflow-y: scroll;
}

.queue {
	height: 400px;
	overflow-y: scroll;
}

.running {
	height: 400px;
	overflow-y: scroll;
}

.finished {
	height: 400px;
	overflow-y: scroll;
}

.resources {
	height: 400px;
}

.job {
	height: 400px;
}



@media ( min-width : 466px) {
	.site-wrapper {
		padding: 170px 0 90px 0;
	}
}
@media ( min-width : 640px) {
	.site-wrapper {
		padding: 128px 0 90px 0;
	}
}
@media ( min-width : 768px) {
	.site-wrapper {
		padding: 112px 0 90px 0;
	}
}
@media ( min-width : 981px) {
	.site-wrapper {
		padding: 75px 0 90px 0;
	}
}

/* Padding for spacing */
.inner {
	padding: 30px;
}

/*
 * Header
 */
#console {
	height: 15em;
 	margin: 5px 15px 15px 15px;
 	padding: 5px 20px 5px 15px;
 	border: 1px solid #ccc !important;
 	border-radius: 15px;
 	font-size: 1.2em;
 	overflow-y:auto;
 	resize: vertical;
}

.hidden {
	display:none;
}

#console-input {
	min-height: 1.2em;
	outline: transparent;
	display: inline;
}

#console-toggle {
	color: #555;
	float: right;
	margin-right: 15px
}

.custom-navbar {
	background-color: #FFF;
{'fraction_non_alphanumeric': 0.15384615384615385, 'fraction_numerical': 0.07249022164276402, 'mean_word_length': 3.0765143464399576, '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': '5896911', 'n_tokens_mistral': 1901, 'n_tokens_neox': 1588, 'n_words': 426}