<commit_before>@import "../../colors";

#header-container {
    position: fixed;
    background-color: white;
    width: 100%;
    z-index: 2;
    height: 85px;
}

#header-padding {
    padding-top: 85px;
}

#header {
    margin: 20px 0px;

    #NavigationBar a {
        font-weight: 700;
    }

    #hamburger-icon {
        font-size: 22px;
        margin: 7px;
    }

    form {
        float: right;
    }

    .nav-bar {
        margin-top: 13px;
    }

    a {
        color: #111;
    }

    #header-menu {
        list-style: none;
        padding: 0px;
        margin: 0px;

        li {
            display: inline;
            font-weight: bold;
            margin: 0px 50px 0px 50px;
        }
    }

    #draw-menu {
        ul {
            list-style: none;
            padding: 0px;
            margin: 70px 0px 0px 0px;
        }

        li {
            margin: 30px 20px;
            font-size: 22px;

            a {
                color: $coll-action-green;
            }

            button {
                color: $coll-action-green;
                font-weight: normal;
                background: none !important;<commit_msg>Made logo a bit smaller so it fits in the remaining space<commit_after>@import "../../colors";

#header-container {
    position: fixed;
    background-color: white;
    width: 100%;
    z-index: 2;
    height: 85px;
}

#header-padding {
    padding-top: 85px;
}

#header {
    margin: 20px 0px;

    #NavigationBar a {
        font-weight: 700;
    }

    #hamburger-icon {
        font-size: 22px;
        margin: 7px;
    }

    form {
        float: right;
    }

    .nav-bar {
        margin-top: 13px;
    }

    a {
        color: #111;
    }

    #header-menu {
        list-style: none;
        padding: 0px;
        margin: 0px;

        li {
            display: inline;
            font-weight: bold;
            margin: 0px 50px 0px 50px;
        }
    }

    .header-logo img {
        width: 245px;
    }

    #draw-menu {
        ul {
            list-style: none;
            padding: 0px;
            margin: 70px 0px 0px 0px;
        }

        li {
            margin: 30px 20px;
            font-size: 22px;

            a {
                color: $coll-action-green;
            }

            button {
                color: $coll-action-green;
                font-weight: normal;
                background: none !important;
{'fraction_non_alphanumeric': 0.10981697171381032, 'fraction_numerical': 0.03618968386023295, 'mean_word_length': 1.160826594788859, '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': '1783305', 'n_tokens_mistral': 867, 'n_tokens_neox': 750, 'n_words': 180}