<commit_before>/* @group WebFonts */
@font-face {
                                                font-family: 'Open Sans webfont';
                                                src: url('../../../fonts/OpenSans-Regular.woff') format('woff'),
                                                     url('../../../fonts/OpenSans-Regular.ttf') format('truetype');
                                                font-weight: normal;
                                                font-style: normal;
}

@font-face {
                                                font-family: 'Open Sans webfont';
                                                src: url('../../../fonts/OpenSans-Semibold.woff') format('woff'),
                                                     url('../../../fonts/OpenSans-Semibold.ttf') format('truetype');
                                                font-weight: bold;
                                                font-style: normal;
}

@font-face {
                                                font-family: 'Open Sans webfont';
                                                src: url('../../../fonts/OpenSans-Italic.woff') format('woff'),
                                                     url('../../../fonts/OpenSans-Italic.ttf') format('truetype');
                                                font-weight: normal;
                                                font-style: italic;
}

@font-face {
                                                font-family: 'Open Sans webfont';
                                                src: url('../../../fonts/OpenSans-SemiboldItalic.woff') format('woff'),
                                                     url('../../../fonts/OpenSans-SemiboldItalic.ttf') format('truetype');
                                                font-weight: bold;
                                                font-style: italic;
}
/* @end */

/* @group Reset */
html {                                          font-size: 14px }
body, div, dl, dt, dd, ul, ol, li,
h1, h2, h3, h4, h5, h6, 
pre, code, form, fieldset, legend, 
input, textarea, p, blockquote, th, td {        margin: 0em;
                                                padding: 0em }
table {                                         border-collapse: collapse;
                                                border-spacing: 0em }
fieldset, img {                                 border: 0em }
address, caption, cite, code, 
dfn, em, strong, th, var {                      font-style: normal;
                                                font-weight: normal }
ul {                                            list-style: none }
input, textarea, select {                       font-family: inherit;
                                                font-size: inherit;
                                                font-weight: inherit }
/* @end */

/* @group Core */
*::-moz-selection {                             color: #ffffff;
                                                background-color: #4f4f4f }
*::selection {                                  color: #ffffff;
                                                background-color: #4f4f4f }
body {                                          font-size: 14px;
                                                font-family: "Open Sans webfont", sans-serif;
                                                line-height: 1.25em;
                                                color: #4a4747;
                                                background-color: #efefef;
                                                min-width: 320px }
h1, h2, h3, h4, h5, h6 {                        font-weight: bold;
                                                font-style: normal;
                                                font-variant: normal;
                                                margin: 1em 0em }
h1:first-child, h2:first-child,
h3:first-child, h4:first-child,
h5:first-child, h6:first-child {                margin-top: 0em }
h1 {                                            font-size: 2em }
#content h1, h2 {                               font-size: 1.5em }
h3 {                                            font-size: 1em }
h4, h5, h6 {                                    font-size: 1em }
em {                                            font-style: italic }
strong {                                        font-weight: bold;
                                                font-style: normal }
small , .small, .sub {                          color: #b3b5b5 }
small, .small {                                 font-size: 0.8em;
                                                line-height: 1.25em }
p {                                             margin: 0em 0em 1em 0em }
a:link {                                        color: #4a4747;
                                                text-decoration: underline }
a:visited {                                     color: #4a4747;
                                                text-decoration: underline }
a:hover {                                       color: #1e57ba;
                                                text-decoration: underline }
a:focus {                                       outline: none;
                                                color: #1e57ba;
                                                text-decoration: underline }
a:active {                                      color: #1e57ba;
                                                text-decoration: underline }
small a, .small a, .sub a {                     color: #b3b5b5 }
img.logo {                                      width: 24px;
                                                height: 24px }
/* @end */

/* @group Header */
#header {                                       background-color: #4f4f4f;
                                                padding: 2em 0em 3em 0em;
                                                color: #efefef;
                                                text-align: center;
                                                position: relative }
#header h1 {                                    font-weight: normal;
                                                margin: 0em 1em 1em 1em }
#header h1 a {                                  color: #ffffff;
                                                text-decoration: none }






#header #navigation {                           position: absolute;
                                                bottom: 0em;
                                                left: 4em;
                                                right: 4em }
#header #navigation li {                        display: block }
#header #navigation li a {                      box-sizing: border-box;
                                                display: block;
                                                float: left;
                                                width: 24%;
                                                margin-left: 0em;
                                                margin-right: 1%;
                                                padding: 0em 1em;
                                                height: 3em;
                                                line-height: 3em;
                                                text-align: center;
                                                white-space: nowrap;
                                                overflow: hidden;
                                                text-overflow: ellipsis;
                                                text-decoration: none;
                                                border-top-left-radius: 0.8em;
                                                border-top-right-radius: 0.8em }
#header #navigation li:last-child a {           width: 25%;
                                                margin-right: 0% }




#header #navigation li a:link,
#header #navigation li a:visited {              background-color: #cfcfcf;
                                                color: #5f5f5f;
                                                text-decoration: none }
#header #navigation li.selected a:link,
#header #navigation li.selected a:visited,
#header #navigation li a:hover,
#header #navigation li a:focus {                background-color: #efefef;
                                                color: #4a4747;
                                                text-decoration: none }
#content ul li {                                list-style: disc inside }
/* @end */

/* @group Footer */
#footer {                                       box-sizing: border-box;
                                                width: 100%;
                                                margin: 2em auto;
                                                padding: 0em 2em;
                                                text-align: center;
                                                color: #b3b5b5 }
#footer small.metadata {                        display: block;
                                                margin-top: 1em;
                                                font-size: .8em }
#logout {                                       margin-top: 1em }
/* @end */

/* @group Sub-Navigation */
#sub_nav {                                      margin: 4em 4em 0em 4em }
#sub_nav li {                                   display: block;
                                                float: left;
                                                position: relative;
                                                top: 0px;
                                                height: 3rem }
#sub_nav li a {                                 display: inline-block;
                                                text-decoration: none;
                                                font-size: 0.8em;
                                                line-height: 3rem;
                                                white-space: nowrap;
                                                overflow: hidden;
                                                text-overflow: ellipsis;
                                                margin: 0em 0.5em 0em 0em;
                                                padding: 0em 1em;
                                                border: 1px solid #cfcfcf;
                                                border-bottom: none;
                                                border-top-left-radius: 0.8em;
                                                border-top-right-radius: 0.8em }
#sub_nav li a:link,
#sub_nav li a:visited {                         background-color: #dfdfdf;
                                                color: #5f5f5f }
#sub_nav li.selected a:link,
#sub_nav li.selected a:visited,
#sub_nav li a:hover,
#sub_nav li a:focus {                           background-color: #ffffff;
                                                color: #4a4747;
                                                text-decoration: none;
                                                border: 1px solid #dfdfdf;
                                                border-bottom: none }
/* @end */

/* @group Content */
#content {                                      clear: both;
                                                background-color: #ffffff;<commit_msg>Admin console: CSS adjustment to sub-nav<commit_after>/* @group WebFonts */
@font-face {
                                                font-family: 'Open Sans webfont';
                                                src: url('../../../fonts/OpenSans-Regular.woff') format('woff'),
                                                     url('../../../fonts/OpenSans-Regular.ttf') format('truetype');
                                                font-weight: normal;
                                                font-style: normal;
}

@font-face {
                                                font-family: 'Open Sans webfont';
                                                src: url('../../../fonts/OpenSans-Semibold.woff') format('woff'),
                                                     url('../../../fonts/OpenSans-Semibold.ttf') format('truetype');
                                                font-weight: bold;
                                                font-style: normal;
}

@font-face {
                                                font-family: 'Open Sans webfont';
                                                src: url('../../../fonts/OpenSans-Italic.woff') format('woff'),
                                                     url('../../../fonts/OpenSans-Italic.ttf') format('truetype');
                                                font-weight: normal;
                                                font-style: italic;
}

@font-face {
                                                font-family: 'Open Sans webfont';
                                                src: url('../../../fonts/OpenSans-SemiboldItalic.woff') format('woff'),
                                                     url('../../../fonts/OpenSans-SemiboldItalic.ttf') format('truetype');
                                                font-weight: bold;
                                                font-style: italic;
}
/* @end */

/* @group Reset */
html {                                          font-size: 14px }
body, div, dl, dt, dd, ul, ol, li,
h1, h2, h3, h4, h5, h6, 
pre, code, form, fieldset, legend, 
input, textarea, p, blockquote, th, td {        margin: 0em;
                                                padding: 0em }
table {                                         border-collapse: collapse;
                                                border-spacing: 0em }
fieldset, img {                                 border: 0em }
address, caption, cite, code, 
dfn, em, strong, th, var {                      font-style: normal;
                                                font-weight: normal }
ul {                                            list-style: none }
input, textarea, select {                       font-family: inherit;
                                                font-size: inherit;
                                                font-weight: inherit }
/* @end */

/* @group Core */
*::-moz-selection {                             color: #ffffff;
                                                background-color: #4f4f4f }
*::selection {                                  color: #ffffff;
                                                background-color: #4f4f4f }
body {                                          font-size: 14px;
                                                font-family: "Open Sans webfont", sans-serif;
                                                line-height: 1.25em;
                                                color: #4a4747;
                                                background-color: #efefef;
                                                min-width: 320px }
h1, h2, h3, h4, h5, h6 {                        font-weight: bold;
                                                font-style: normal;
                                                font-variant: normal;
                                                margin: 1em 0em }
h1:first-child, h2:first-child,
h3:first-child, h4:first-child,
h5:first-child, h6:first-child {                margin-top: 0em }
h1 {                                            font-size: 2em }
#content h1, h2 {                               font-size: 1.5em }
h3 {                                            font-size: 1em }
h4, h5, h6 {                                    font-size: 1em }
em {                                            font-style: italic }
strong {                                        font-weight: bold;
                                                font-style: normal }
small , .small, .sub {                          color: #b3b5b5 }
small, .small {                                 font-size: 0.8em;
                                                line-height: 1.25em }
p {                                             margin: 0em 0em 1em 0em }
a:link {                                        color: #4a4747;
                                                text-decoration: underline }
a:visited {                                     color: #4a4747;
                                                text-decoration: underline }
a:hover {                                       color: #1e57ba;
                                                text-decoration: underline }
a:focus {                                       outline: none;
                                                color: #1e57ba;
                                                text-decoration: underline }
a:active {                                      color: #1e57ba;
                                                text-decoration: underline }
small a, .small a, .sub a {                     color: #b3b5b5 }
img.logo {                                      width: 24px;
                                                height: 24px }
/* @end */

/* @group Header */
#header {                                       background-color: #4f4f4f;
                                                padding: 2em 0em 3em 0em;
                                                color: #efefef;
                                                text-align: center;
                                                position: relative }
#header h1 {                                    font-weight: normal;
                                                margin: 0em 1em 1em 1em }
#header h1 a {                                  color: #ffffff;
                                                text-decoration: none }






#header #navigation {                           position: absolute;
                                                bottom: 0em;
                                                left: 4em;
                                                right: 4em }
#header #navigation li {                        display: block }
#header #navigation li a {                      box-sizing: border-box;
                                                display: block;
                                                float: left;
                                                width: 24%;
                                                margin-left: 0em;
                                                margin-right: 1%;
                                                padding: 0em 1em;
                                                height: 3em;
                                                line-height: 3em;
                                                text-align: center;
                                                white-space: nowrap;
                                                overflow: hidden;
                                                text-overflow: ellipsis;
                                                text-decoration: none;
                                                border-top-left-radius: 0.8em;
                                                border-top-right-radius: 0.8em }
#header #navigation li:last-child a {           width: 25%;
                                                margin-right: 0% }




#header #navigation li a:link,
#header #navigation li a:visited {              background-color: #cfcfcf;
                                                color: #5f5f5f;
                                                text-decoration: none }
#header #navigation li.selected a:link,
#header #navigation li.selected a:visited,
#header #navigation li a:hover,
#header #navigation li a:focus {                background-color: #efefef;
                                                color: #4a4747;
                                                text-decoration: none }
#content ul li {                                list-style: disc inside }
/* @end */

/* @group Footer */
#footer {                                       box-sizing: border-box;
                                                width: 100%;
                                                margin: 2em auto;
                                                padding: 0em 2em;
                                                text-align: center;
                                                color: #b3b5b5 }
#footer small.metadata {                        display: block;
                                                margin-top: 1em;
                                                font-size: .8em }
#logout {                                       margin-top: 1em }
/* @end */

/* @group Sub-Navigation */
#sub_nav {                                      margin: 4em 4em 0em 4em }
#sub_nav li {                                   display: block;
                                                float: left;
                                                position: relative;
                                                top: 0px;
                                                height: 3rem }
#sub_nav li a {                                 display: inline-block;
                                                text-decoration: none;
                                                font-size: 0.8em;
                                                line-height: 3rem;
                                                white-space: nowrap;
                                                overflow: hidden;
                                                text-overflow: ellipsis;
                                                margin: 0em 0.5em 0em 0em;
                                                padding: 0em 1.25em;
                                                border: 1px solid #cfcfcf;
                                                border-bottom: none;
                                                border-top-left-radius: 0.8em;
                                                border-top-right-radius: 0.8em }
#sub_nav li a:link,
#sub_nav li a:visited {                         background-color: #dfdfdf;
                                                color: #5f5f5f }
#sub_nav li.selected a:link,
#sub_nav li.selected a:visited,
#sub_nav li a:hover,
#sub_nav li a:focus {                           background-color: #ffffff;
                                                color: #4a4747;
                                                text-decoration: none;
                                                border: 1px solid #dfdfdf;
                                                border-bottom: none }
/* @end */

/* @group Content */
#content {                                      clear: both;
                                                background-color: #ffffff;
{'fraction_non_alphanumeric': 0.0778713696586821, 'fraction_numerical': 0.015618145125910327, 'mean_word_length': 0.560446330777656, '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': 510, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6620715', 'n_tokens_mistral': 4373, 'n_tokens_neox': 4033, 'n_words': 1050}