<commit_before>/*

New MSPARP CSS

Contents:

1. Layout
	1. Header
	2. Navigation
	3. Footer
	4. Announcements
2. Content
	1. Forms
	2. Toggle box
	3. Chat list
3. Pages
	1. Front page
	2. Searching
4. Chat window

*/

/* 1. Layout */

body { background-color: #535353; font-family: "Courier", "Courier New", monospace; font-weight: bold; font-size: 10pt; }

/* Header has top corners, main has bottom corners. */
header, main { background-color: #ccc; }
header { margin: 20px 20px 0; padding: 20px; border-radius: 10px 10px 0 0; }
main { margin: 0 20px; padding: 20px; border-radius: 0 0 10px 10px; }

main > * { max-width: 40rem; }

/* Padding prevents border collapsing so remove first and last borders to compensate. */
main > :first-child { margin-top: 0; }
main > :last-child { margin-bottom: 0; }

@media (max-width: 600px) {
	header { margin: 5px 5px 0; padding: 10px; border-radius: 5px 5px 0 0; }
	main { margin: 0 5px; padding: 10px; border-radius: 0 0 5px 5px; }
}

/* 1.1. Header */

#users_online { float: right; text-align: right; }
#users_online p { margin: 0; }

@media (max-width: 700px) {
	/* XXX Put this somewhere else rather than hiding it? */
	#users_online { display: none; }
}

/* Align baseline of logo text with bottom padding. */
h1 { margin: 0 0 -4px 0; }
h1 img { display: block; max-width: 100%; }

/* 1.2. Navigation */

#global_navigation { margin: 0 20px; background-color: #626262; font-size: 10pt; text-transform: uppercase; }
#global_navigation, #global_navigation a { color: #eee; }
#global_navigation label, #global_navigation input { display: none; }
#global_navigation ul { margin: 0; padding: 0 10px; list-style-type: none; }
#global_navigation li { display: inline; margin-left: 10px; }
/* Padding so the whole height of the navbar is clickable */
#global_navigation a { display: inline-block; padding: 7px 0; text-decoration: none; white-space: nowrap; }
#global_navigation a:before { content: "> "; visibility: hidden; }
#global_navigation a:hover { color: #fff; }
#global_navigation a:hover:before { visibility: visible; }

@media (max-width: 600px) {
	#global_navigation { margin: 0 5px; }
	#global_navigation label { display: block; padding: 7px 10px; cursor: pointer; }
	#global_navigation label:hover { color: #fff; }
	#global_navigation input:not(:checked) + ul { display: none; }
	#global_navigation li { display: block; margin-left: 0; }
	#global_navigation a { display: block; }
}

/* 1.3. Footer */

footer { margin: 10px 20px; text-align: right; text-transform: uppercase; font-size: 12pt; }
footer, footer a { color: #ddd; }
footer ul { margin: 0; padding: 0; list-style-type: none; }
footer li { display: inline; margin-right: 20px; }
footer a { text-decoration: none; white-space: nowrap; }
footer a:hover { color: #fff; }

@media (max-width: 700px) {
	footer { margin: 10px 5px; text-align: center; }
	footer li { margin: 0 5px; }
}

/* 1.4. Announcements */

#announcements h2, #announcements ul { margin: 0 auto; }

/* 2. Content */

a:hover { text-decoration: none; }

h2, h3, h4, h5, h6, h2 a, h3 a, h4 a, h5 a, h6 a { color: #666; }

ul { padding-left: 1em; }

table { border-collapse: separate; border-spacing: 2px; }

.error { color: #f00; }

/* 2.1. Forms */

input, select, button { vertical-align: middle; }

h2 select { font-size: 10pt; color: #000; }

.input_table { display: table; }
.input_table p { display: table-row; }
.input_table p label, .input_table p input, .input_table p select { display: table-cell; }
.input_table p input, .input_table p select { margin: 2px 0; }
.input_table p label { padding-right: 5px; }

/* 2.2. Toggle box */

.toggle_box > input:first-child { display: none; }
.toggle_box > input:first-child:not(:checked) + h2 ~ *, .toggle_box > input:first-child:not(:checked) + h3 ~ * { display: none }
/* Make these look more clickable. */
.toggle_box h2 label, .toggle_box h3 label { cursor: pointer; text-decoration: underline; }
.toggle_box h2 label:hover, .toggle_box h3 label:hover { text-decoration: none; }

/* 2.3. Chat list */

.chat_list { max-width: none; padding: 0; list-style-type: none; }
.chat_list { -moz-column-width: 500px; -moz-column-gap: 20px; -webkit-column-width: 500px; -webkit-column-gap: 20px; }
.chat_list li { margin:  0 auto 20px; padding: 10px; background-color: #eee; }
/* overflow:hidden prevents column breaks in Firefox. */
.chat_list li { overflow: hidden; -webkit-column-break-inside: avoid; }
.chat_list li:last-child { margin-bottom: 0; }
.chat_list h3 { margin: 0; font-size: 12pt; }
.chat_list p { margin: 5px 5px 0; }
.chat_list .subtitle { color: #666; }

/* 3. Pages */

/* 3.1. Front page */

#text_preview_container { background-color: #eee; padding: 3px 5px; }

.character_list { margin: 0; padding: 0; border: 0; }
.character_list ul { margin: 10px 0; padding: 0 0 0 10px; list-style-type: none; line-height: 1.8em; }
.character_list li { display: inline-block; }

.character_button { display: none; }

/* 3.2. Searching */

#spinner { width: 140px; height: 140px; margin: 0 auto; background-image: url("/static/img/spinner-big.gif") }

#search_connecting, #spinner, #search_error { margin: 50px auto 30px; text-align: center; font-size: 16pt; }
#spinner, #search_error, .searching #search_connecting, .search_error #search_connecting { display: none; }
.searching #spinner, .search_error #search_error { display: block; }
#search_error { color: #f00; }

/* 4. Chat window */

.chat { background-color: #aaa; font-size: 12px; }
.chat h1 { margin: 5px; font-size: 14pt; }
.chat p { margin: 2px 5px; }
.chat input, .chat textarea, .chat button { padding: 2px; border: 0; background-color: #f8f8f8; }
.chat button:hover { background-color: #fff; }
.chat button { padding: 2px 6px; }

#conversation { position: fixed; top: 5px; right: 5px; bottom: 53px; left: 5px; overflow: auto; padding: 2px 0; background-color: #eee; }
<commit_msg>Use Roboto for body text.<commit_after>/*

New MSPARP CSS

Contents:

1. Layout
	1. Header
	2. Navigation
	3. Footer
	4. Announcements
2. Content
	1. Forms
	2. Toggle box
	3. Chat list
3. Pages
	1. Front page
	2. Searching
4. Chat window

*/

/* 1. Layout */

@font-face {
  font-family: "Roboto";
  font-style: normal;
  font-weight: 400;
  src: local("Roboto Regular"), local("Roboto-Regular"), url("http://fonts.gstatic.com/s/roboto/v14/2UX7WLTfW3W8TclTUvlFyQ.woff") format("woff");
}

body { background-color: #535353; font-family: "Courier", "Courier New", monospace; font-weight: bold; font-size: 10pt; }

/* Header has top corners, main has bottom corners. */
header, main { background-color: #ccc; }
header { margin: 20px 20px 0; padding: 20px; border-radius: 10px 10px 0 0; }
main { margin: 0 20px; padding: 20px; border-radius: 0 0 10px 10px; font-family: Roboto, Helvetica, Arial, sans-serif; font-weight: normal; }

main > * { max-width: 40rem; }

/* Padding prevents border collapsing so remove first and last borders to compensate. */
main > :first-child { margin-top: 0; }
main > :last-child { margin-bottom: 0; }

@media (max-width: 600px) {
	header { margin: 5px 5px 0; padding: 10px; border-radius: 5px 5px 0 0; }
	main { margin: 0 5px; padding: 10px; border-radius: 0 0 5px 5px; }
}

/* 1.1. Header */

#users_online { float: right; text-align: right; }
#users_online p { margin: 0; }

@media (max-width: 700px) {
	/* XXX Put this somewhere else rather than hiding it? */
	#users_online { display: none; }
}

/* Align baseline of logo text with bottom padding. */
h1 { margin: 0 0 -4px 0; }
h1 img { display: block; max-width: 100%; }

/* 1.2. Navigation */

#global_navigation { margin: 0 20px; background-color: #626262; font-size: 10pt; text-transform: uppercase; }
#global_navigation, #global_navigation a { color: #eee; }
#global_navigation label, #global_navigation input { display: none; }
#global_navigation ul { margin: 0; padding: 0 10px; list-style-type: none; }
#global_navigation li { display: inline; margin-left: 10px; }
/* Padding so the whole height of the navbar is clickable */
#global_navigation a { display: inline-block; padding: 7px 0; text-decoration: none; white-space: nowrap; }
#global_navigation a:before { content: "> "; visibility: hidden; }
#global_navigation a:hover { color: #fff; }
#global_navigation a:hover:before { visibility: visible; }

@media (max-width: 600px) {
	#global_navigation { margin: 0 5px; }
	#global_navigation label { display: block; padding: 7px 10px; cursor: pointer; }
	#global_navigation label:hover { color: #fff; }
	#global_navigation input:not(:checked) + ul { display: none; }
	#global_navigation li { display: block; margin-left: 0; }
	#global_navigation a { display: block; }
}

/* 1.3. Footer */

footer { margin: 10px 20px; text-align: right; text-transform: uppercase; font-size: 12pt; }
footer, footer a { color: #ddd; }
footer ul { margin: 0; padding: 0; list-style-type: none; }
footer li { display: inline; margin-right: 20px; }
footer a { text-decoration: none; white-space: nowrap; }
footer a:hover { color: #fff; }

@media (max-width: 700px) {
	footer { margin: 10px 5px; text-align: center; }
	footer li { margin: 0 5px; }
}

/* 1.4. Announcements */

#announcements h2, #announcements ul { margin: 0 auto; }

/* 2. Content */

a:hover { text-decoration: none; }

h2, h3, h4, h5, h6, h2 a, h3 a, h4 a, h5 a, h6 a { color: #666; }

ul { padding-left: 1em; }

table { border-collapse: separate; border-spacing: 2px; }

.error { color: #f00; }

/* 2.1. Forms */

input, select, button { vertical-align: middle; }

h2 select { font-size: 10pt; color: #000; }

.input_table { display: table; }
.input_table p { display: table-row; }
.input_table p label, .input_table p input, .input_table p select { display: table-cell; }
.input_table p input, .input_table p select { margin: 2px 0; }
.input_table p label { padding-right: 5px; }

/* 2.2. Toggle box */

.toggle_box > input:first-child { display: none; }
.toggle_box > input:first-child:not(:checked) + h2 ~ *, .toggle_box > input:first-child:not(:checked) + h3 ~ * { display: none }
/* Make these look more clickable. */
.toggle_box h2 label, .toggle_box h3 label { cursor: pointer; text-decoration: underline; }
.toggle_box h2 label:hover, .toggle_box h3 label:hover { text-decoration: none; }

/* 2.3. Chat list */

.chat_list { max-width: none; padding: 0; list-style-type: none; }
.chat_list { -moz-column-width: 500px; -moz-column-gap: 20px; -webkit-column-width: 500px; -webkit-column-gap: 20px; }
.chat_list li { margin:  0 auto 20px; padding: 10px; background-color: #eee; }
/* overflow:hidden prevents column breaks in Firefox. */
.chat_list li { overflow: hidden; -webkit-column-break-inside: avoid; }
.chat_list li:last-child { margin-bottom: 0; }
.chat_list h3 { margin: 0; font-size: 12pt; }
.chat_list p { margin: 5px 5px 0; }
.chat_list .subtitle { color: #666; }

/* 3. Pages */

/* 3.1. Front page */

#text_preview_container { background-color: #eee; padding: 3px 5px; font-family: "Courier", "Courier New", monospace; font-weight: bold; font-size: 12px; }

.character_list { margin: 0; padding: 0; border: 0; }
.character_list ul { margin: 10px 0; padding: 0 0 0 10px; list-style-type: none; line-height: 1.8em; }
.character_list li { display: inline-block; }

.character_button { display: none; }

/* 3.2. Searching */

#spinner { width: 140px; height: 140px; margin: 0 auto; background-image: url("/static/img/spinner-big.gif") }

#search_connecting, #spinner, #search_error { margin: 50px auto 30px; text-align: center; font-size: 16pt; }
#spinner, #search_error, .searching #search_connecting, .search_error #search_connecting { display: none; }
.searching #spinner, .search_error #search_error { display: block; }
#search_error { color: #f00; }

/* 4. Chat window */

.chat { background-color: #aaa; font-size: 12px; }
.chat h1 { margin: 5px; font-size: 14pt; }
.chat p { margin: 2px 5px; }
.chat input, .chat textarea, .chat button { padding: 2px; border: 0; background-color: #f8f8f8; }
.chat button:hover { background-color: #fff; }
.chat button { padding: 2px 6px; }

#conversation { position: fixed; top: 5px; right: 5px; bottom: 53px; left: 5px; overflow: auto; padding: 2px 0; background-color: #eee; }

{'fraction_non_alphanumeric': 0.15126327051271501, 'fraction_numerical': 0.044193893506707264, 'mean_word_length': 4.0256410256410255, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 17, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1981694', 'n_tokens_mistral': 4803, 'n_tokens_neox': 4321, 'n_words': 1361}