<commit_before>body {
    padding-top: 20px;
}

/** Common **/

a {
    color: #3b73af;
}

a:hover {
    color: #fcc300;
    text-decoration: none;
}

.ajax-loader {
    margin-left: 10px;
    vertical-align: middle;
}

.clickable {
    cursor: pointer;
}

.clickable-hover:hover {
    background: #eff6fb;
}

ul.properties {
    margin: 0 0 0 0;
    padding-left: 40px;
}

ul.properties li {
    list-style: none;
    word-break: break-all;
    word-wrap: break-word;
}

/* Disable bootstrap icons as we use font-awesome icons */

[class^="icon-"],
[class*=" icon-"] {
    background-image: none;
}

.icon-white,
.nav-pills > .active > a > [class^="icon-"],
.nav-pills > .active > a > [class*=" icon-"],
.nav-list > .active > a > [class^="icon-"],
.nav-list > .active > a > [class*=" icon-"],
.navbar-inverse .nav > .active > a > [class^="icon-"],
.navbar-inverse .nav > .active > a > [class*=" icon-"],
.dropdown-menu > li > a:hover > [class^="icon-"],
.dropdown-menu > li > a:hover > [class*=" icon-"],
.dropdown-menu > .active > a > [class^="icon-"],
.dropdown-menu > .active > a > [class*=" icon-"],
.dropdown-submenu:hover > a > [class^="icon-"],
.dropdown-submenu:hover > a > [class*=" icon-"] {
    background-image: none;
}

/** Navigation **/

.navbar-brand {
    text-shadow: none;
}

.navbar-brand span {
    color: #ffffff;
}

.navbar-brand:hover span {
    color: #ffffff;
}

.navbar-brand img {
    float: left;
    margin-top: -2px;
    margin-right: 3px;
}

.navbar-default {
    background: #0096D6;
    border: none;
}

.navbar .nav > li > a {
    color: #ffffff;
    text-shadow: none;
}

.navbar .nav .active > a, .navbar .nav .active > a:hover, .navbar .nav .active > a:focus {
    color: #ffffff;
    background-color: rgba(255,255,255,0.2);
    -webkit-box-shadow: none;
    box-shadow: none;
}

.navbar .nav > li > a.router-link-active, .navbar .nav > li > a.router-link-active:hover, .navbar .nav > li > a.router-link-active:focus {
    color: #ffffff;
    background-color: rgba(255,255,255,0.2);
    -webkit-box-shadow: none;
    box-shadow: none;
}

.navbar .nav > li > a:hover {
    color: #ffffff;
    background-color: rgba(255,255,255,0.2);
}

/** Tab navigation **/

.nav-tabs > li > a {
    color: #404040;
    background-color: #eff6fb;
    border: 1px solid #dddddd;
    padding-right: 25px;
    cursor: pointer;
}

.nav-tabs > li.active > a,
.nav-tabs > li.active > a:hover,
.nav-tabs > li.active > a:focus {
    color: #fff;
    background-color: #0096D6;
    border-color: #0096D6;
}

.nav-tabs > li > a:hover {
    color: #404040;
    background-color: #e3effc;
    border-color: #dddddd;
}

.nav-tabs > li > button.close {
    position: relative;
    top: -2px;
    z-index: 100;
    margin-right: 6px;
    font-weight: lighter;
}

.nav-tabs > li.active > button.close {
    color: #fff;
    opacity: .5;
    filter: alpha(opacity=50);
}

/** Nav Pills **/

.nav-pills > li {
    margin-right: 2px;
    margin-bottom: 2px;
}

.nav-pills > li + li {
    margin-left: 0px;
}

.nav-pills > li > a {
    background: #eff6fb;
    color: #333;
    text-align: center;
    margin: 1px;
}

.nav > li > a:hover,
.nav > li > a:focus {
    background: #e3effc;
}

.nav-pills > li.active > a,
.nav-pills > li.active > a:hover,
.nav-pills > li.active > a:focus {
    background: #0096D6;
    color: #fff;
}

.pills-bar {
    border-left: 1px solid #ddd;
    border-right: 1px solid #ddd;
    border-bottom: 1px solid #ddd;
}

.pills-bar > li > a {
    padding: 3px 15px;
    border-radius: 0px;
    margin: 0px;
    background: #e3effc;
}

.pills-bar > li > a:hover {
    background-color: #eff6fb;
}

.pills-bar > li.active > a,
.pills-bar > li.active > a:hover,
.pills-bar > li.active > a:focus {
    background: #e3effc;
    color: #333;
    font-weight: bold;
}

/** Container **/

.jumbotron {
    background-color: #eff6fb;
    padding-top: 20px;
    padding-bottom: 20px;
    margin-bottom: 5px;
}

.jumbotron p {
    font-size: 18px;
    margin-top: 25px;
}

.jumbotron .btn {
    font-size: 18px;<commit_msg>Layout cosmetic changes<commit_after>body {
    padding-top: 20px;
}

/** Common **/

a {
    color: #3b73af;
}

a:hover {
    color: #fcc300;
    text-decoration: none;
}

.ajax-loader {
    margin-left: 10px;
    vertical-align: middle;
}

.clickable {
    cursor: pointer;
}

.clickable-hover:hover {
    background: #eff6fb;
}

ul.properties {
    margin: 0 0 0 0;
    padding-left: 40px;
}

ul.properties li {
    list-style: none;
    word-break: break-all;
    word-wrap: break-word;
}

/* Disable bootstrap icons as we use font-awesome icons */

[class^="icon-"],
[class*=" icon-"] {
    background-image: none;
}

.icon-white,
.nav-pills > .active > a > [class^="icon-"],
.nav-pills > .active > a > [class*=" icon-"],
.nav-list > .active > a > [class^="icon-"],
.nav-list > .active > a > [class*=" icon-"],
.navbar-inverse .nav > .active > a > [class^="icon-"],
.navbar-inverse .nav > .active > a > [class*=" icon-"],
.dropdown-menu > li > a:hover > [class^="icon-"],
.dropdown-menu > li > a:hover > [class*=" icon-"],
.dropdown-menu > .active > a > [class^="icon-"],
.dropdown-menu > .active > a > [class*=" icon-"],
.dropdown-submenu:hover > a > [class^="icon-"],
.dropdown-submenu:hover > a > [class*=" icon-"] {
    background-image: none;
}

/** Navigation **/

.navbar-brand {
    text-shadow: none;
}

.navbar-brand span {
    color: #ffffff;
}

.navbar-brand:hover span {
    color: #ffffff;
}

.navbar-brand img {
    float: left;
    margin-top: -2px;
    margin-right: 3px;
}

.navbar-default {
    background: #0096D6;
    border: none;
}

.navbar .nav > li > a {
    color: #ffffff;
    text-shadow: none;
}

.navbar .nav .active > a, .navbar .nav .active > a:hover, .navbar .nav .active > a:focus {
    color: #ffffff;
    background-color: rgba(255,255,255,0.2);
    -webkit-box-shadow: none;
    box-shadow: none;
}

.navbar .nav > li > a.router-link-active, .navbar .nav > li > a.router-link-active:hover, .navbar .nav > li > a.router-link-active:focus {
    color: #ffffff;
    background-color: rgba(255,255,255,0.2);
    -webkit-box-shadow: none;
    box-shadow: none;
}

.navbar .nav > li > a:hover {
    color: #ffffff;
    background-color: rgba(255,255,255,0.2);
}

/** Tab navigation **/

.nav-tabs > li > a {
    color: #404040;
    background-color: #eff6fb;
    border: 1px solid #dddddd;
    padding-right: 25px;
    cursor: pointer;
}

.nav-tabs > li.active > a,
.nav-tabs > li.active > a:hover,
.nav-tabs > li.active > a:focus {
    color: #fff;
    background-color: #0096D6;
    border-color: #0096D6;
}

.nav-tabs > li > a:hover {
    color: #404040;
    background-color: #e3effc;
    border-color: #dddddd;
}

.nav-tabs > li > button.close {
    position: relative;
    top: -2px;
    z-index: 100;
    margin-right: 6px;
    font-weight: lighter;
}

.nav-tabs > li.active > button.close {
    color: #fff;
    opacity: .5;
    filter: alpha(opacity=50);
}

/** Nav Pills **/

.nav-pills > li {
    margin-right: 2px;
    margin-bottom: 2px;
}

.nav-pills > li + li {
    margin-left: 0px;
}

.nav-pills > li > a {
    background: #eff6fb;
    color: #333;
    text-align: center;
    margin: 1px;
}

.nav > li > a:hover,
.nav > li > a:focus {
    background: #e3effc;
}

.nav-pills > li.active > a,
.nav-pills > li.active > a:hover,
.nav-pills > li.active > a:focus {
    background: #0096D6;
    color: #fff;
}

.pills-bar {
    border-left: 1px solid #ddd;
    border-bottom: 1px solid #ddd;
    max-width: 470px;
}

.pills-bar > li > a {
    padding: 3px 15px;
    border-right: 1px solid #ddd;
    border-radius: 0px;
    margin: 0px;
    background: #fefefe;
}

.pills-bar > li > a:hover {
    background-color: #efefef;
}

.pills-bar > li.active > a,
.pills-bar > li.active > a:hover,
.pills-bar > li.active > a:focus {
    background: #efefef;
    color: #333;
}

/** Container **/

.jumbotron {
    background-color: #eff6fb;
    padding-top: 20px;
    padding-bottom: 20px;
    margin-bottom: 5px;
}

.jumbotron p {
    font-size: 18px;
    margin-top: 25px;
}

.jumbotron .btn {
    font-size: 18px;
{'fraction_non_alphanumeric': 0.18516232563881002, 'fraction_numerical': 0.032588569312430565, 'mean_word_length': 2.6024899955535794, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 173, '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': '3851520', 'n_tokens_mistral': 3488, 'n_tokens_neox': 3246, 'n_words': 727}