<commit_before>@navbar-inverse-brand-hover-color: #0d4c8f;

#main-navbar {
    min-height: 80px;
    margin-bottom: 0;
    .gradient (@startColor: #007dc3, @endColor: #1451a2);
    border-color: #1451a2;
    .box-shadow(0px 5px 5px 0px rgba(0, 0, 0, 0.3));
    z-index: 900;
    a {
        text-decoration: none;
    }

    h1, h2 {
        background-size: 100% 100%;
        background-repeat: no-repeat;
        float: left;
        a {
            display: block;
            width: 100%;
            height: 100%;
        }
    }
    h1 {
        margin: 30px 0 0 15px;
        width: 236px/1.8;
        height: 36px/1.8;
        @media (min-width: @screen-sm-min) {
            margin-top: 27px;
            width: 236px/1.5;
            height: 36px/1.5;
        }
        @media (min-width: @screen-lg-min) {
            margin: 20px 0 0 0;
            width: 236px;
            height: 36px;
        }
        background-image: url('../img/logo-instituto-tim.png');
    }
    h2 {
        margin: 30px 0 0 20px;
        width: 106px/1.8;
        height: 36px/1.8;
        @media (min-width: @screen-sm-min) {
            margin: 27px 0 0 30px;
            width: 106px/1.5;
            height: 36px/1.5;
        }
        @media (min-width: @screen-lg-min) {
            margin: 20px 0 0 70px;
            width: 106px;
            height: 36px;
        }
        background-image: url('../img/logo-timtec.png');
    }
    .tim {
        font-family: @teuton-26;
    }
    .tec {
        text-transform: initial;
    }
    .navbar-nav {
        float: none;
        li {
            float: none;
            a {
                padding: 10px 15px;
                text-transform: uppercase;
                &:hover {
                    background-color: #0d4c8f;
                }
                &.username span {
                    display: block;
                    float: left;
                    max-width: 105px;
                    overflow: hidden;
                    text-overflow: ellipsis;
                    white-space: nowrap;
                }
            }
            .dropdown-menu {
                a {
                    &:hover {
                        background-color: transparent;
                    }
                }
            }
        }
        @media (min-width: @screen-md-min) {
            float: left;
            li {
                float: left;
                a {
                    padding: 30px 10px 29px;
                }
            }
        }
    }
    .dropdown-menu {
        background-color: rgba(193, 224, 244, 0.95);
        border-radius: 0;
        font-family: @font-family-sans-serif;
        label {
            font-weight: bold;
        }
        li {
            float: none;
            a:hover {
                background-color: none;
            }
        }
        &.user-menu {
            background-color: rgba(0, 116, 190, 0.7);
            width: initial;
            li {<commit_msg>fix terms of use link on timtec theme<commit_after>@navbar-inverse-brand-hover-color: #0d4c8f;

#main-navbar {
    min-height: 80px;
    margin-bottom: 0;
    .gradient (@startColor: #007dc3, @endColor: #1451a2);
    border-color: #1451a2;
    .box-shadow(0px 5px 5px 0px rgba(0, 0, 0, 0.3));
    z-index: 900;
    a {
        text-decoration: none;
    }

    h1, h2 {
        background-size: 100% 100%;
        background-repeat: no-repeat;
        float: left;
        a {
            display: block;
            width: 100%;
            height: 100%;
        }
    }
    h1 {
        margin: 30px 0 0 15px;
        width: 236px/1.8;
        height: 36px/1.8;
        @media (min-width: @screen-sm-min) {
            margin-top: 27px;
            width: 236px/1.5;
            height: 36px/1.5;
        }
        @media (min-width: @screen-lg-min) {
            margin: 20px 0 0 0;
            width: 236px;
            height: 36px;
        }
        background-image: url('../img/logo-instituto-tim.png');
    }
    h2 {
        margin: 30px 0 0 20px;
        width: 106px/1.8;
        height: 36px/1.8;
        @media (min-width: @screen-sm-min) {
            margin: 27px 0 0 30px;
            width: 106px/1.5;
            height: 36px/1.5;
        }
        @media (min-width: @screen-lg-min) {
            margin: 20px 0 0 70px;
            width: 106px;
            height: 36px;
        }
        background-image: url('../img/logo-timtec.png');
    }
    .tim {
        font-family: @teuton-26;
    }
    .tec {
        text-transform: initial;
    }
    .navbar-nav {
        float: none;
        li {
            float: none;
            a {
                padding: 10px 15px;
                text-transform: uppercase;
                &:hover {
                    background-color: #0d4c8f;
                }
                &.username span {
                    display: block;
                    float: left;
                    max-width: 105px;
                    overflow: hidden;
                    text-overflow: ellipsis;
                    white-space: nowrap;
                }
            }
            .dropdown-menu {
                a {
                    &:hover {
                        background-color: transparent;
                    }
                }
            }
        }
        @media (min-width: @screen-md-min) {
            float: left;
            form {
                .terms {
                    a {
                        padding: 0;
                        text-transform: lowercase;
                    }
                }
            }
            li {
                float: left;
                a {
                    padding: 30px 10px 29px;
                }
            }
        }
    }
    .dropdown-menu {
        background-color: rgba(193, 224, 244, 0.95);
        border-radius: 0;
        font-family: @font-family-sans-serif;
        label {
            font-weight: bold;
        }
        li {
            float: none;
            a:hover {
                background-color: none;
            }
        }
        &.user-menu {
            background-color: rgba(0, 116, 190, 0.7);
            width: initial;
            li {
{'fraction_non_alphanumeric': 0.113860585476306, 'fraction_numerical': 0.053533883228206375, 'mean_word_length': 0.953870458135861, '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': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3301206', 'n_tokens_mistral': 2183, 'n_tokens_neox': 1851, 'n_words': 400}