<commit_before>@import url("/bootstrap/css/bootstrap.min.css");
@import url("/bootstrap/fonts/roboto.css");

html {
    position: relative;
    min-height: 100%;
}

body {
    margin-bottom: 80px;
    background-color: #F5F5F5;
    font-family: 'Roboto', sans-serif;
}

body.no-menu #jumbotron {
    padding: 100px 0;
    background-image: linear-gradient(to bottom,#3c3c3c 0,#222 100%)
}

body.no-menu {
    background: url("/logo-black.png") no-repeat center 30px;
    padding-top: 70px;
}

body.no-menu #jumbotron {
    margin-top: 75px;
}

body#index .icons {
    float: right;
}

a:hover {
    text-decoration: none;
}

a.fa, i.fa {
    font-size: 18px;
}

h1 a:link, h1 a:visited {
    color: #000000;
    text-decoration: none !important;
}

h1 a:hover, h1 a:active { 
    color: #000000; 
    text-decoration: none !important; 
}

.container.fixed {
    padding-top: 60px;
}

.breadcrumb {
    font-size: 22px;
    background-color: #E0E0E0;
    margin-bottom: 10px;
    border-radius: 0;
    box-shadow: 0px 1px 10px rgba(0,0,0,.4);
}

.breadcrumb>li+li:before {
    color: #B71C1C;
}

ul.context-links li a {
    color: #B71C1C;
}

.ui-sortable-handle {
    cursor: move;
}

tr.disabled td,
tr.disabled th {
    opacity: .5;
}

.contains-table table {
    border: 1px solid #ddd;
}

/** Content structure */
.table-responsive {
    clear: both;
    margin-bottom: 0px;
}

/* navigation */
.navbar {
    margin-bottom: 10px;
}

.navbar-inverse {
    background-color: #212121;
}

.navbar-brand > img {
    /* reduce logo size */
    max-width: 127px;
    max-height: 36px;
    width: auto;
    height: auto;
}

.navbar-brand {
    /* vertically center logo  */
    padding-top: 7px;
}

.nav>li>a {
    padding: 14px 19px 10px 19px;
    border-bottom: 5px solid #F5F5F5;
    border-radius: 0;
    color: #B71C1C;
}

.nav>li>a:focus, .nav>li>a:hover {
    border-bottom: 5px solid #B71C1C;
    background-color: #f5f5f5;
}

.nav-pills>li.active>a, .nav-pills>li.active>a:focus, .nav li.open>a, .nav li.open>a:focus, .nav-pills>li.active>a:hover {
    border-bottom: 5px solid #B71C1C;
    color: #B71C1C;
    background-color: #F5F5F5;
}

.navbar-inverse .navbar-nav >li>a {
    border-bottom: 5px solid #212121;
    color: #BDBDBD;
}

.nav-tabs>li>a {
    border-bottom: 5px solid #F5F5F5;
    margin-bottom: 1px;
}

.nav-tabs>li.active>a, .nav-tabs>li.active>a:focus, .nav-tabs>li.active>a:hover, .nav-tabs>li>a:hover {
    border-left: 1px solid #F5F5F5;
    border-right: 1px solid #F5F5F5;
    border-top: 1px solid #F5F5F5;
    background-color: #F5F5F5;
    border-bottom: 5px solid #B71C1C;
    margin-bottom: 0;
    color: #B71C1C;
    box-shadow: none;
}

.nav-tabs {
    border-bottom: 1px solid #B71C1C;
    margin-bottom: 15px;
}

.nav-pills {
    margin-bottom: 20px;
}

.dropdown-menu>li>a {
    padding: 5px 20px;
}
/* end navigation */

.alert {
    border-radius: 0;
    box-shadow: 0px 1px 10px rgba(0,0,0,0.1);
}

.panel {
    margin-bottom: 10px;
    border-radius: 0;
    box-shadow: 0px 3px 7px rgba(0,0,0,.1);
}

.panel-default>.panel-heading {
    color: #fff;
    background-color: #424242;
    letter-spacing: 1px;
}<commit_msg>Fixed #5998 menu bar formatting with 10 digit alerts<commit_after>@import url("/bootstrap/css/bootstrap.min.css");
@import url("/bootstrap/fonts/roboto.css");

html {
    position: relative;
    min-height: 100%;
}

body {
    margin-bottom: 80px;
    background-color: #F5F5F5;
    font-family: 'Roboto', sans-serif;
}

body.no-menu #jumbotron {
    padding: 100px 0;
    background-image: linear-gradient(to bottom,#3c3c3c 0,#222 100%)
}

body.no-menu {
    background: url("/logo-black.png") no-repeat center 30px;
    padding-top: 70px;
}

body.no-menu #jumbotron {
    margin-top: 75px;
}

body#index .icons {
    float: right;
}

a:hover {
    text-decoration: none;
}

a.fa, i.fa {
    font-size: 18px;
}

h1 a:link, h1 a:visited {
    color: #000000;
    text-decoration: none !important;
}

h1 a:hover, h1 a:active { 
    color: #000000; 
    text-decoration: none !important; 
}

.container.fixed {
    padding-top: 60px;
}

.breadcrumb {
    font-size: 22px;
    background-color: #E0E0E0;
    margin-bottom: 10px;
    border-radius: 0;
    box-shadow: 0px 1px 10px rgba(0,0,0,.4);
}

.breadcrumb>li+li:before {
    color: #B71C1C;
}

ul.context-links li a {
    color: #B71C1C;
}

.ui-sortable-handle {
    cursor: move;
}

tr.disabled td,
tr.disabled th {
    opacity: .5;
}

.contains-table table {
    border: 1px solid #ddd;
}

/** Content structure */
.table-responsive {
    clear: both;
    margin-bottom: 0px;
}

/* navigation */
.navbar {
    margin-bottom: 10px;
}

.navbar-inverse {
    background-color: #212121;
}

.navbar-brand > img {
    /* reduce logo size */
    max-width: 127px;
    max-height: 36px;
    width: auto;
    height: auto;
}

.navbar-brand {
    /* vertically center logo  */
    padding-top: 7px;
}

.nav>li>a {
    padding: 14px 19px 10px 19px;
    border-bottom: 5px solid #F5F5F5;
    border-radius: 0;
    color: #B71C1C;
}

.nav>li>a:focus, .nav>li>a:hover {
    border-bottom: 5px solid #B71C1C;
    background-color: #f5f5f5;
}

.nav-pills>li.active>a, .nav-pills>li.active>a:focus, .nav li.open>a, .nav li.open>a:focus, .nav-pills>li.active>a:hover {
    border-bottom: 5px solid #B71C1C;
    color: #B71C1C;
    background-color: #F5F5F5;
}

.navbar-inverse .navbar-nav >li>a {
    border-bottom: 5px solid #212121;
    color: #BDBDBD;
}

.nav-tabs>li>a {
    border-bottom: 5px solid #F5F5F5;
    margin-bottom: 1px;
}

.nav-tabs>li.active>a, .nav-tabs>li.active>a:focus, .nav-tabs>li.active>a:hover, .nav-tabs>li>a:hover {
    border-left: 1px solid #F5F5F5;
    border-right: 1px solid #F5F5F5;
    border-top: 1px solid #F5F5F5;
    background-color: #F5F5F5;
    border-bottom: 5px solid #B71C1C;
    margin-bottom: 0;
    color: #B71C1C;
    box-shadow: none;
}

.nav-tabs {
    border-bottom: 1px solid #B71C1C;
    margin-bottom: 15px;
}

.nav-pills {
    margin-bottom: 20px;
}

.dropdown-menu>li>a {
    padding: 5px 20px;
}

.navbar-right>li>a {
    padding: 14px 15px 10px 15px;
}
/* end navigation */

.alert {
    border-radius: 0;
    box-shadow: 0px 1px 10px rgba(0,0,0,0.1);
}

.panel {
    margin-bottom: 10px;
    border-radius: 0;
    box-shadow: 0px 3px 7px rgba(0,0,0,.1);
}

.panel-default>.panel-heading {
    color: #fff;
    background-color: #424242;
    letter-spacing: 1px;
}
{'fraction_non_alphanumeric': 0.1593209780408036, 'fraction_numerical': 0.06229559258682448, 'mean_word_length': 2.8547418967587035, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 67, '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': '2483734', 'n_tokens_mistral': 2990, 'n_tokens_neox': 2689, 'n_words': 540}