<commit_before>﻿body {
    background-color: #F2F2F2;
    font-family: Calibri, Candara, Arial, sans-serif !important;
}

div#page-wrapper {
    min-width: 1024px;
    max-width: 1280px;
    margin: 0px auto;
    padding: 0px;
}

div#page-content {
    min-width: 1024px;
    max-width: 1280px;
}

div#page-body {
    background-color: white;
    padding: 10px 5px 20px 5px;
}

/************ NAVIGATION BAR TOP **************/
.navbar-nav {
    width: 70%;
}

    .navbar-nav > li {
        width: 22%;
    }

#navbar-top {
    height: 100px;
    font-size: 15px;
    background-color: rgb(55, 96, 146);
    border: 0px;
}
    #navbar-top .navbar-brand {
        font-size: 25px;
        line-height: 70px;
        height: 70px;
        padding: 0px 10px;
        margin: 15px 5px;
        text-align: center;
    }

    #navbar-top .navbar-nav li a,
    #navbar-top .navbar-text {
        font-size: 20px;
        line-height: 70px;
        height: 70px;
        padding: 0px 10px;
        margin: 15px 5px;
        text-align: center;
    }

    #navbar-top li a {
        width: 100%;
    }

    #navbar-top li.double-line a {
        padding-top: 18px;
        line-height: 17px;
    }

    #navbar-top .navbar-text-small {
        font-size: 0.8em;
    }<commit_msg>Decreased font size of topnav.<commit_after>﻿body {
    background-color: #F2F2F2;
    font-family: Calibri, Candara, Arial, sans-serif !important;
}

div#page-wrapper {
    min-width: 1024px;
    max-width: 1280px;
    margin: 0px auto;
    padding: 0px;
}

div#page-content {
    min-width: 1024px;
    max-width: 1280px;
}

div#page-body {
    background-color: white;
    padding: 10px 5px 20px 5px;
}

/************ NAVIGATION BAR TOP **************/
.navbar-nav {
    width: 70%;
}

    .navbar-nav > li {
        width: 22%;
    }

#navbar-top {
    height: 100px;
    font-size: 15px;
    background-color: rgb(55, 96, 146);
    border: 0px;
}
    #navbar-top .navbar-brand {
        font-size: 25px;
        line-height: 70px;
        height: 70px;
        padding: 0px 10px;
        margin: 15px 5px;
        text-align: center;
    }

    #navbar-top .navbar-nav li a,
    #navbar-top .navbar-text {
        font-size: 18px;
        line-height: 70px;
        height: 70px;
        padding: 0px 10px;
        margin: 15px 5px;
        text-align: center;
    }

    #navbar-top li a {
        width: 100%;
    }

    #navbar-top li.double-line a {
        padding-top: 18px;
        line-height: 17px;
    }

    #navbar-top .navbar-text-small {
        font-size: 0.8em;
    }
{'fraction_non_alphanumeric': 0.14810472840953498, 'fraction_numerical': 0.06017975771785854, 'mean_word_length': 1.9157175398633257, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '2727075', 'n_tokens_mistral': 1124, 'n_tokens_neox': 940, 'n_words': 214}