<commit_before>@header-color: rgba(244, 207, 71, 1);
@leaderboard-hover-color: rgba(244, 207, 71, .5);
@text-color: rgba(4, 234, 245, 1);
@title-color: rgba(255, 219, 84, 1);

@resistance-color: rgba(0, 191, 255, 1);
@enlightened-color: rgba(43, 237, 27, 1);

@upcoming-badge-height: 85;
@upcoming-badge-time-margin: @upcoming-badge-height / 3.3;
@upcoming-badge-width: 270;

@ratio-height: 105;
@ratio-seperator-padding: @ratio-height / 5;
@ratio-width: 180;

html {
    height: 100%;
}

a[href] {
    color: @text-color;
    text-decoration: underline;
}

body {
    background: rgba(0, 0, 0, 1);
    color: @text-color;
    font-family: "Coda", sans-serif;
    margin: 0;
    padding: 0;
    position: relative;

    #message {
        margin-left: auto;
        margin-right: auto;
        width: 360px;
        padding: 10px;
        border: 2px solid rgba(0, 216, 225, 1);
    }
}

/* Pre-load certain images */
body:after {
    display: none;
    content: url("./resources/images/badges_75.png") url("./resources/images/levels_75.png") url("./resources/images/rank_arrows.png");
}

div.fakeupload {
    position: relative;
    top: -40px;
    left: 0px;
    z-index: 1;
}

footer {
    font-size: 0.9em;
    padding: 10px;
    text-align: center;
    width: 100%;

    a[href] {
        color: @text-color;
        text-decoration: underline;
    }
}

form#ocr {
    margin: 0 auto;
    max-height: 40px;
    max-width: 440px;
}

h2, h3 {
    color: @title-color;
    font-size: 1.5em;
    font-weight: bold;
    text-align: center;
}

img.badge-icon {
    width: 75px;
    height: 75px;
    vertical-align: middle;
}

img.small-badge-icon {
    width: 60px;
    height: 60px;
    vertical-align: middle;
}

input[type="number"], input[type="text"][name="date"] {
    background-color: black;
    border: 0;
    color: @header-color;
    font-family: "Coda";
    font-size: 1em;
    text-align: right;
}

input[type="text"][name="date"] {
    background-image: url("./resources/images/calendar.png");
    background-position: top right;
    background-size: 22px;
    background-repeat: no-repeat;
    cursor: pointer;
    padding-right: 25px;
    
}

input[type="number"].increase {
    border: 1px solid green;
}

input[type="number"].error {
    border: 1px solid red;
}

input[type="number"].warning {
    border: 1px solid yellow;
}

input[type="number"][value=""] {
    border: 1px solid red;
}

input[type="submit"], input[type="button"], input.button {
    background: rgba(0, 89, 81, 1);
    border: 2px solid rgba(0, 216, 225, 1);
    color: rgba(0, 255, 255, 1);
    cursor: pointer;
    width: 100%;
    height: 40px;
    font-family: "Coda";
    font-size: 1.5em;
}

input[type="file"] {
    border: 1px solid red;
    cursor: pointer;
    height: 40px;
    opacity: 0;
    position: relative;
    width: 100%;
    z-index: 2;
}

input[type="file"]::-webkit-file-upload-button {
    visibility: hidden;
}

input[type="file"].upload-screenshot::before {
    content: "Upload a Screenshot";
    -webkit-user-select: none;
}

nav {
    .scrollable-menu {
        height: auto;
        max-height: 200px;
        overflow-x: hidden;
    }    
}
<commit_msg>increasing menu size<commit_after>@header-color: rgba(244, 207, 71, 1);
@leaderboard-hover-color: rgba(244, 207, 71, .5);
@text-color: rgba(4, 234, 245, 1);
@title-color: rgba(255, 219, 84, 1);

@resistance-color: rgba(0, 191, 255, 1);
@enlightened-color: rgba(43, 237, 27, 1);

@upcoming-badge-height: 85;
@upcoming-badge-time-margin: @upcoming-badge-height / 3.3;
@upcoming-badge-width: 270;

@ratio-height: 105;
@ratio-seperator-padding: @ratio-height / 5;
@ratio-width: 180;

html {
    height: 100%;
}

a[href] {
    color: @text-color;
    text-decoration: underline;
}

body {
    background: rgba(0, 0, 0, 1);
    color: @text-color;
    font-family: "Coda", sans-serif;
    margin: 0;
    padding: 0;
    position: relative;

    #message {
        margin-left: auto;
        margin-right: auto;
        width: 360px;
        padding: 10px;
        border: 2px solid rgba(0, 216, 225, 1);
    }
}

/* Pre-load certain images */
body:after {
    display: none;
    content: url("./resources/images/badges_75.png") url("./resources/images/levels_75.png") url("./resources/images/rank_arrows.png");
}

div.fakeupload {
    position: relative;
    top: -40px;
    left: 0px;
    z-index: 1;
}

footer {
    font-size: 0.9em;
    padding: 10px;
    text-align: center;
    width: 100%;

    a[href] {
        color: @text-color;
        text-decoration: underline;
    }
}

form#ocr {
    margin: 0 auto;
    max-height: 40px;
    max-width: 440px;
}

h2, h3 {
    color: @title-color;
    font-size: 1.5em;
    font-weight: bold;
    text-align: center;
}

img.badge-icon {
    width: 75px;
    height: 75px;
    vertical-align: middle;
}

img.small-badge-icon {
    width: 60px;
    height: 60px;
    vertical-align: middle;
}

input[type="number"], input[type="text"][name="date"] {
    background-color: black;
    border: 0;
    color: @header-color;
    font-family: "Coda";
    font-size: 1em;
    text-align: right;
}

input[type="text"][name="date"] {
    background-image: url("./resources/images/calendar.png");
    background-position: top right;
    background-size: 22px;
    background-repeat: no-repeat;
    cursor: pointer;
    padding-right: 25px;
    
}

input[type="number"].increase {
    border: 1px solid green;
}

input[type="number"].error {
    border: 1px solid red;
}

input[type="number"].warning {
    border: 1px solid yellow;
}

input[type="number"][value=""] {
    border: 1px solid red;
}

input[type="submit"], input[type="button"], input.button {
    background: rgba(0, 89, 81, 1);
    border: 2px solid rgba(0, 216, 225, 1);
    color: rgba(0, 255, 255, 1);
    cursor: pointer;
    width: 100%;
    height: 40px;
    font-family: "Coda";
    font-size: 1.5em;
}

input[type="file"] {
    border: 1px solid red;
    cursor: pointer;
    height: 40px;
    opacity: 0;
    position: relative;
    width: 100%;
    z-index: 2;
}

input[type="file"]::-webkit-file-upload-button {
    visibility: hidden;
}

input[type="file"].upload-screenshot::before {
    content: "Upload a Screenshot";
    -webkit-user-select: none;
}

nav {
    a[href] {
        text-decoration: none;
    }

    .scrollable-menu {
        height: auto;
        max-height: 340px;
        overflow-x: hidden;
    }    
}

{'fraction_non_alphanumeric': 0.1669008587041374, 'fraction_numerical': 0.053708040593286495, 'mean_word_length': 2.8130952380952383, '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': '2066207', 'n_tokens_mistral': 2745, 'n_tokens_neox': 2372, 'n_words': 531}