<commit_before>:root {
    position: relative;

    font-weight: 400;
    font-family: @font-family-default;
    font-size: @font-size-base;
    line-height: @line-height-base;
    color: @color-text-default;

    text-rendering: optimizeLegibility;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
    -moz-font-feature-settings: "liga" on;

    background: @body-bg;

    -webkit-tap-highlight-color: rgba(0, 0, 0, 0);

    @media (max-width: 1199px) {
        font-size: @font-size-small;
    }
}

.fireworks {
    position: fixed;
    top: 0; bottom: 0; left: 0; right: 0;
    pointer-events: none;
    z-index: 10000;
}

body {
    z-index: 1;
    position: relative;
    overflow-y: scroll;

    .on-handhelds({
        padding-top: @nav-height;
    });
}

h1, h2, h3, h4, h5 {
    font-family: @font-family-headline;
}

a {
    color: @brand-primary;
}

p:empty {
    display: none;
}


// iOS "clickable elements" fix for role="button"
//
// Fixes "clickability" issue (and more generally, the firing of events such as focus as well)
// for traditionally non-focusable elements with role="button"
// see https://developer.mozilla.org/en-US/docs/Web/Events/click#Safari_Mobile

[role="button"] {
    cursor: pointer;
}

*,
*:before,
*:after {
    box-sizing: border-box;
}

// Reset fonts for relevant elements
input,
button,
select,
textarea {
    font-family: inherit;
    font-size: inherit;
    line-height: inherit;
}

abbr[title] {
    font-variant: normal;
    border-bottom: none;
}

img[src] {
    position: relative;
    max-width: 100%;
}

// Reset fonts for relevant elements
input,
button,
select,
textarea {
    font-family: inherit;
    font-size: inherit;
    line-height: inherit;
}

address {
    p {
        margin: 0;
    }
}

ul, ol {
    padding-left: 30px;
}

blockquote {
    border-left: 2px solid rgba(0, 0, 0, .1);
    padding-left: 13px;
    margin-left: 15px;
}

pre {
    background-color: @gray-lighter;
    border-radius: 2px;
    padding: 1rem;<commit_msg>textareas should not be resizable on the y-axis<commit_after>:root {
    position: relative;

    font-weight: 400;
    font-family: @font-family-default;
    font-size: @font-size-base;
    line-height: @line-height-base;
    color: @color-text-default;

    text-rendering: optimizeLegibility;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
    -moz-font-feature-settings: "liga" on;

    background: @body-bg;

    -webkit-tap-highlight-color: rgba(0, 0, 0, 0);

    @media (max-width: 1199px) {
        font-size: @font-size-small;
    }
}

.fireworks {
    position: fixed;
    top: 0; bottom: 0; left: 0; right: 0;
    pointer-events: none;
    z-index: 10000;
}

body {
    z-index: 1;
    position: relative;
    overflow-y: scroll;

    .on-handhelds({
        padding-top: @nav-height;
    });
}

h1, h2, h3, h4, h5 {
    font-family: @font-family-headline;
}

a {
    color: @brand-primary;
}

p:empty {
    display: none;
}


// iOS "clickable elements" fix for role="button"
//
// Fixes "clickability" issue (and more generally, the firing of events such as focus as well)
// for traditionally non-focusable elements with role="button"
// see https://developer.mozilla.org/en-US/docs/Web/Events/click#Safari_Mobile

[role="button"] {
    cursor: pointer;
}

*,
*:before,
*:after {
    box-sizing: border-box;
}

// Reset fonts for relevant elements
input,
button,
select,
textarea {
    font-family: inherit;
    font-size: inherit;
    line-height: inherit;
}

abbr[title] {
    font-variant: normal;
    border-bottom: none;
}

img[src] {
    position: relative;
    max-width: 100%;
}

// Reset fonts for relevant elements
input,
button,
select,
textarea {
    font-family: inherit;
    font-size: inherit;
    line-height: inherit;
}

textarea {
    resize: vertical;
}

address {
    p {
        margin: 0;
    }
}

ul, ol {
    padding-left: 30px;
}

blockquote {
    border-left: 2px solid rgba(0, 0, 0, .1);
    padding-left: 13px;
    margin-left: 15px;
}

pre {
    background-color: @gray-lighter;
    border-radius: 2px;
    padding: 1rem;
{'fraction_non_alphanumeric': 0.14566165777993215, 'fraction_numerical': 0.02084343189529811, 'mean_word_length': 2.734841628959276, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '494024', 'n_tokens_mistral': 1613, 'n_tokens_neox': 1489, 'n_words': 359}