<commit_before>/*!
 * BOOTSTRAP-THEME
 * Bootstrap v3.1.1 (http://getbootstrap.com)
 * Copyright 2011-2014 Twitter, Inc.
 * Licensed under MIT (https://github.com/twbs/bootstrap/blob/master/LICENSE)
 */

.btn-default {
    text-shadow: 0 1px 0 #fff;
    background-color: $green;
    border: none;
    border-radius: 3px;

    &:hover, &:focus { background-color: $green_light; }

}

.btn-primary {
    background-color: #00bd9c;
    &:hover,
    &:focus { background-color: #00c4a2; }
    &:active,
    &.active { background-color: #00cca8; }
    &.disabled,
    &[disabled] { background-color: #00bd9c; color: #a5a5a5; }
}

fieldset[disabled] .btn-primary {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-primary {
    &.disabled:hover, &[disabled]:hover {
        background-color: #00bd9c;
        color: #a5a5a5;
    }
}

fieldset[disabled] .btn-primary:hover {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-primary {
    &.disabled:focus, &[disabled]:focus {
        background-color: #00bd9c;
        color: #a5a5a5;
    }
}

fieldset[disabled] .btn-primary:focus {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-primary {
    &.disabled:active, &[disabled]:active {
        background-color: #00bd9c;
        color: #a5a5a5;
    }
}

fieldset[disabled] .btn-primary:active {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-primary {
    &.disabled.active, &[disabled].active {
        background-color: #00bd9c;
        color: #a5a5a5;
    }
}

fieldset[disabled] .btn-primary.active {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-success {
    background-image: -webkit-linear-gradient(top, #5cb85c 0%, #419641 100%);
    background-image: linear-gradient(to bottom, #5cb85c 0%, #419641 100%);
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff5cb85c', endColorstr='#ff419641', GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
    background-repeat: repeat-x;
    border-color: #3e8f3e;
    &:hover, &:focus {
        background-color: #419641;
        background-position: 0 -15px;
    }
    &:active, &.active {
        background-color: #419641;
        border-color: #3e8f3e;
    }
}

.btn-info {
    background-image: -webkit-linear-gradient(top, #5bc0de 0%, #2aabd2 100%);
    background-image: linear-gradient(to bottom, #5bc0de 0%, #2aabd2 100%);
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff5bc0de', endColorstr='#ff2aabd2', GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
    background-repeat: repeat-x;
    border-color: #28a4c9;
    &:hover, &:focus {
        background-color: #2aabd2;
        background-position: 0 -15px;
    }
    &:active, &.active {
        background-color: #2aabd2;
        border-color: #28a4c9;
    }
}

.btn-warning {
    background-image: -webkit-linear-gradient(top, #f0ad4e 0%, #eb9316 100%);
    background-image: linear-gradient(to bottom, #f0ad4e 0%, #eb9316 100%);
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#fff0ad4e', endColorstr='#ffeb9316', GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
    background-repeat: repeat-x;
    border-color: #e38d13;
    &:hover, &:focus {
        background-color: #eb9316;
        background-position: 0 -15px;
    }
    &:active, &.active {
        background-color: #eb9316;
        border-color: #e38d13;
    }
}

.btn-danger {
    background-image: -webkit-linear-gradient(top, #d9534f 0%, #c12e2a 100%);
    background-image: linear-gradient(to bottom, #d9534f 0%, #c12e2a 100%);
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffd9534f', endColorstr='#ffc12e2a', GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
    background-repeat: repeat-x;
    border-color: #b92c28;
    &:hover, &:focus {
        background-color: #c12e2a;
        background-position: 0 -15px;
    }
    &:active, &.active {
        background-color: #c12e2a;
        border-color: #b92c28;
    }
}

.thumbnail, .img-thumbnail {
    -webkit-box-shadow: 0 1px 2px rgba(0, 0, 0, 0.075);
    box-shadow: 0 1px 2px rgba(0, 0, 0, 0.075);
}

.dropdown-menu > {
    li > a {
        &:hover, &:focus {
            background-color: #e8e8e8;
            background-image: -webkit-linear-gradient(top, whitesmoke 0%, #e8e8e8 100%);
            background-image: linear-gradient(to bottom, whitesmoke 0%, #e8e8e8 100%);
            filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#fff5f5f5', endColorstr='#ffe8e8e8', GradientType=0);
            background-repeat: repeat-x;
        }
    }
    .active > a {
        background-color: #357ebd;
        background-image: -webkit-linear-gradient(top, #428bca 0%, #357ebd 100%);
        background-image: linear-gradient(to bottom, #428bca 0%, #357ebd 100%);
        filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff428bca', endColorstr='#ff357ebd', GradientType=0);
        background-repeat: repeat-x;
        &:hover, &:focus {
            background-color: #357ebd;
            background-image: -webkit-linear-gradient(top, #428bca 0%, #357ebd 100%);
            background-image: linear-gradient(to bottom, #428bca 0%, #357ebd 100%);
            filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff428bca', endColorstr='#ff357ebd', GradientType=0);
            background-repeat: repeat-x;
        }
    }
}

.navbar {
    margin: 0;
}

.navbar-default {
    background-color: #253649;
    border: 0;
    border-radius: 0;
    .navbar-nav > .active > a {
        color: #fff;
        background-color: #3b5268;
    }
    .navbar-brand {
        color: #fff;
        &:hover {
            color: #fff;
        }
    }
}

.navbar-brand span {
    color: #00bd9c;
}

.navbar-nav > li > a {
    color: #00bd9c;
    margin-right: 10px;
}

.navbar-default .navbar-nav > li > a {
    color: #00bd9c;
    &:hover, &:focus {
        color: #fff;
        background-color: #3b5268;
    }
}

.navbar-inverse {
    background-image: -webkit-linear-gradient(top, #3c3c3c 0%, #222222 100%);<commit_msg>nav tweaks cont<commit_after>/*!
 * BOOTSTRAP-THEME
 * Bootstrap v3.1.1 (http://getbootstrap.com)
 * Copyright 2011-2014 Twitter, Inc.
 * Licensed under MIT (https://github.com/twbs/bootstrap/blob/master/LICENSE)
 */

.btn-default {
    text-shadow: 0 1px 0 #fff;
    background-color: $green;
    border: none;
    border-radius: 3px;

    &:hover, &:focus { background-color: $green_light; }

}

.btn-primary {
    background-color: #00bd9c;
    &:hover,
    &:focus { background-color: #00c4a2; }
    &:active,
    &.active { background-color: #00cca8; }
    &.disabled,
    &[disabled] { background-color: #00bd9c; color: #a5a5a5; }
}

fieldset[disabled] .btn-primary {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-primary {
    &.disabled:hover, &[disabled]:hover {
        background-color: #00bd9c;
        color: #a5a5a5;
    }
}

fieldset[disabled] .btn-primary:hover {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-primary {
    &.disabled:focus, &[disabled]:focus {
        background-color: #00bd9c;
        color: #a5a5a5;
    }
}

fieldset[disabled] .btn-primary:focus {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-primary {
    &.disabled:active, &[disabled]:active {
        background-color: #00bd9c;
        color: #a5a5a5;
    }
}

fieldset[disabled] .btn-primary:active {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-primary {
    &.disabled.active, &[disabled].active {
        background-color: #00bd9c;
        color: #a5a5a5;
    }
}

fieldset[disabled] .btn-primary.active {
    background-color: #00bd9c;
    color: #a5a5a5;
}

.btn-success {
    background-image: -webkit-linear-gradient(top, #5cb85c 0%, #419641 100%);
    background-image: linear-gradient(to bottom, #5cb85c 0%, #419641 100%);
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff5cb85c', endColorstr='#ff419641', GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
    background-repeat: repeat-x;
    border-color: #3e8f3e;
    &:hover, &:focus {
        background-color: #419641;
        background-position: 0 -15px;
    }
    &:active, &.active {
        background-color: #419641;
        border-color: #3e8f3e;
    }
}

.btn-info {
    background-image: -webkit-linear-gradient(top, #5bc0de 0%, #2aabd2 100%);
    background-image: linear-gradient(to bottom, #5bc0de 0%, #2aabd2 100%);
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff5bc0de', endColorstr='#ff2aabd2', GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
    background-repeat: repeat-x;
    border-color: #28a4c9;
    &:hover, &:focus {
        background-color: #2aabd2;
        background-position: 0 -15px;
    }
    &:active, &.active {
        background-color: #2aabd2;
        border-color: #28a4c9;
    }
}

.btn-warning {
    background-image: -webkit-linear-gradient(top, #f0ad4e 0%, #eb9316 100%);
    background-image: linear-gradient(to bottom, #f0ad4e 0%, #eb9316 100%);
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#fff0ad4e', endColorstr='#ffeb9316', GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
    background-repeat: repeat-x;
    border-color: #e38d13;
    &:hover, &:focus {
        background-color: #eb9316;
        background-position: 0 -15px;
    }
    &:active, &.active {
        background-color: #eb9316;
        border-color: #e38d13;
    }
}

.btn-danger {
    background-image: -webkit-linear-gradient(top, #d9534f 0%, #c12e2a 100%);
    background-image: linear-gradient(to bottom, #d9534f 0%, #c12e2a 100%);
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffd9534f', endColorstr='#ffc12e2a', GradientType=0);
    filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
    background-repeat: repeat-x;
    border-color: #b92c28;
    &:hover, &:focus {
        background-color: #c12e2a;
        background-position: 0 -15px;
    }
    &:active, &.active {
        background-color: #c12e2a;
        border-color: #b92c28;
    }
}

.thumbnail, .img-thumbnail {
    -webkit-box-shadow: 0 1px 2px rgba(0, 0, 0, 0.075);
    box-shadow: 0 1px 2px rgba(0, 0, 0, 0.075);
}

.dropdown-menu > {
    li > a {
        &:hover, &:focus {
            background-color: #e8e8e8;
            background-image: -webkit-linear-gradient(top, whitesmoke 0%, #e8e8e8 100%);
            background-image: linear-gradient(to bottom, whitesmoke 0%, #e8e8e8 100%);
            filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#fff5f5f5', endColorstr='#ffe8e8e8', GradientType=0);
            background-repeat: repeat-x;
        }
    }
    .active > a {
        background-color: #357ebd;
        background-image: -webkit-linear-gradient(top, #428bca 0%, #357ebd 100%);
        background-image: linear-gradient(to bottom, #428bca 0%, #357ebd 100%);
        filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff428bca', endColorstr='#ff357ebd', GradientType=0);
        background-repeat: repeat-x;
        &:hover, &:focus {
            background-color: #357ebd;
            background-image: -webkit-linear-gradient(top, #428bca 0%, #357ebd 100%);
            background-image: linear-gradient(to bottom, #428bca 0%, #357ebd 100%);
            filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff428bca', endColorstr='#ff357ebd', GradientType=0);
            background-repeat: repeat-x;
        }
    }
}

.navbar {
    margin: 0;
}

.navbar-default {
    background-color: #253649;
    border: 0;
    border-radius: 0;
    .navbar-nav > .active > a {
        color: #fff;
        background-color: #3b5268;
    }
    .navbar-brand {
        color: #fff;
        &:hover {
            color: #fff;
        }
    }
}

.navbar-brand span {
    color: #00bd9c;
}

.navbar-nav > li > a {
    color: #00bd9c;
    margin-right: 10px;
}

.navbar-default .navbar-nav > li > a {
    color: #fff;
    &:hover, &:focus {
        color: #00bd9c;
        background-color: #3b5268;
    }
}

.navbar-inverse {
    background-image: -webkit-linear-gradient(top, #3c3c3c 0%, #222222 100%);
{'fraction_non_alphanumeric': 0.1534485543530932, 'fraction_numerical': 0.067517363915361, 'mean_word_length': 2.9223946784922394, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 21, 'https://': 2, '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': '4869722', 'n_tokens_mistral': 5120, 'n_tokens_neox': 4529, 'n_words': 799}