<commit_before>@import "helpers";

$html-bg: #3b6837;
$main-color: #383838;
$main-color-light: lighten($main-color, 30%);
$main-bg: #f9f7ec;
$main-bg-dark: #edebdd;
$gray-border: #d5d3cb;
$link-color: rgb(0, 172, 91);

@import "home";
@import "crate";
@import "install";
@import "me";

* {
  box-sizing: border-box;
}

html {
    background: url('/assets/noise.png');
    background-color: $html-bg;
}

html, body { margin: 0; }

body {
  font-family: "Helvetica Neue","Helvetica",Helvetica,Arial,sans-serif;
  @include flex;
  @include flex-direction(column);
  @include align-items(center);
}


#main {
  @include flex;
  @include flex-direction(column);

  // width: 100%;
  width: 900px;
  margin-bottom: 10px;

  background-color: $main-bg;
  padding: 15px;
  @include border-radius(10px);
  box-shadow: 0px 0px 5px 2px #3b6837;
  border: 5px solid #62865f;
  color: $main-color;
}

#header {
    color: white;
    position: relative;
    height: 100px;

    > * {
        display: inline-block;
        float: left;
        margin: 0;
        @include vertical-align;
    }

    a {
        color: white; text-decoration: none;
        &:hover { color: darken(white, 15%); }
    }

    .nav { float: right; }
    .sep { margin: 0 10px; color: darken($html-bg, 10%); }
    img { vertical-align: middle; }

    input.search {
        font-size: 90%;
        border: none;
        color: black;
        outline: 0;
        margin-left: 30px;
        padding: 5px 5px 5px 25px;
        background-image: url('/assets/search.png');
        background-repeat: no-repeat;
        background-position: 6px 6px;
        @include border-radius(15px);
    }

    button {
        background: none;
        outline: 0;
        border: 0;
        padding: 10px;

        &.active {
            background: rgb(42, 79, 39);
            box-shadow: inset -2px 2px 4px 0px rgb(36, 61, 38);
        }
    }

    #current-user-links {
        display: none;

        &.open { display: block; }
    }
}

span.small {
    color: $main-color-light;
    font-size: 80%;
    .num {
        font-weight: bold;
        color: $main-color;
    }
}

.yanked {
    font-size: 80%;
    color: rgb(166, 0, 0)
}

span.loading {
    display: inline-block;
    width: 16px;
    height: 16px;
    background-image: url(/assets/ajax-loader.gif);
}

#flash {
    display: none;
    font-weight: bold;
    font-size: 110%;
    background-color: rgb(255, 213, 213);
    border: 2px solid rgb(228, 136, 136);
    text-align: center;
    margin: 0 0 10px 0;
    padding: 10px;
    @include border-radius(5px);

    &.shown {
        display: block;
    }
}

a {
    color: $link-color;
    text-decoration: none;
    &:hover { color: darken($link-color, 10%); }
}
.small a {
    color: $main-color-light;
    text-decoration: underline;
    font-weight: normal;
    &:hover { color: darken($main-color-light, 10%); }
}

.after-main-links {
    margin: 40px;

    a { color: white; }
    a:hover { color: darken(white, 10%); }
    .sep { margin: 0 10px; color: darken($html-bg, 10%); }
}

pre {
    background: $main-color;
    color: white;
    padding: 20px;
}

.pagination {
    img { vertical-align: middle; }
    .next.active, .prev.active { background: none; }
}

button.dropdown, a.dropdown {
    cursor: pointer;
    .arrow { font-size: 50%; display: inline-block; vertical-align: middle; }
    .arrow::after { content: "▼"; }
    &.active .arrow::after { content: "▲"; }
}

ul.dropdown {
    display: none;
    visibility: none;
    position: absolute;
    top: 100%;
    left: 0;
    width: 100%;
    opacity: 0;
    margin: 0;
    text-align: left;
    padding: 0;
    background: white;
    border: 1px solid $gray-border;<commit_msg>Mirror the style of the doc website for code font<commit_after>@import "helpers";

$html-bg: #3b6837;
$main-color: #383838;
$main-color-light: lighten($main-color, 30%);
$main-bg: #f9f7ec;
$main-bg-dark: #edebdd;
$gray-border: #d5d3cb;
$link-color: rgb(0, 172, 91);

@import "home";
@import "crate";
@import "install";
@import "me";

* {
  box-sizing: border-box;
}

html {
    background: url('/assets/noise.png');
    background-color: $html-bg;
}

html, body { margin: 0; }

body {
  font-family: "Helvetica Neue","Helvetica",Helvetica,Arial,sans-serif;
  @include flex;
  @include flex-direction(column);
  @include align-items(center);
}


#main {
  @include flex;
  @include flex-direction(column);

  // width: 100%;
  width: 900px;
  margin-bottom: 10px;

  background-color: $main-bg;
  padding: 15px;
  @include border-radius(10px);
  box-shadow: 0px 0px 5px 2px #3b6837;
  border: 5px solid #62865f;
  color: $main-color;
}

#header {
    color: white;
    position: relative;
    height: 100px;

    > * {
        display: inline-block;
        float: left;
        margin: 0;
        @include vertical-align;
    }

    a {
        color: white; text-decoration: none;
        &:hover { color: darken(white, 15%); }
    }

    .nav { float: right; }
    .sep { margin: 0 10px; color: darken($html-bg, 10%); }
    img { vertical-align: middle; }

    input.search {
        font-size: 90%;
        border: none;
        color: black;
        outline: 0;
        margin-left: 30px;
        padding: 5px 5px 5px 25px;
        background-image: url('/assets/search.png');
        background-repeat: no-repeat;
        background-position: 6px 6px;
        @include border-radius(15px);
    }

    button {
        background: none;
        outline: 0;
        border: 0;
        padding: 10px;

        &.active {
            background: rgb(42, 79, 39);
            box-shadow: inset -2px 2px 4px 0px rgb(36, 61, 38);
        }
    }

    #current-user-links {
        display: none;

        &.open { display: block; }
    }
}

span.small {
    color: $main-color-light;
    font-size: 80%;
    .num {
        font-weight: bold;
        color: $main-color;
    }
}

.yanked {
    font-size: 80%;
    color: rgb(166, 0, 0)
}

span.loading {
    display: inline-block;
    width: 16px;
    height: 16px;
    background-image: url(/assets/ajax-loader.gif);
}

#flash {
    display: none;
    font-weight: bold;
    font-size: 110%;
    background-color: rgb(255, 213, 213);
    border: 2px solid rgb(228, 136, 136);
    text-align: center;
    margin: 0 0 10px 0;
    padding: 10px;
    @include border-radius(5px);

    &.shown {
        display: block;
    }
}

a {
    color: $link-color;
    text-decoration: none;
    &:hover { color: darken($link-color, 10%); }
}
.small a {
    color: $main-color-light;
    text-decoration: underline;
    font-weight: normal;
    &:hover { color: darken($main-color-light, 10%); }
}

.after-main-links {
    margin: 40px;

    a { color: white; }
    a:hover { color: darken(white, 10%); }
    .sep { margin: 0 10px; color: darken($html-bg, 10%); }
}

pre {
    background: $main-color;
    color: white;
    padding: 20px;
    font-family: Consolas, Monaco, 'Andale Mono', monospace;
}

.pagination {
    img { vertical-align: middle; }
    .next.active, .prev.active { background: none; }
}

button.dropdown, a.dropdown {
    cursor: pointer;
    .arrow { font-size: 50%; display: inline-block; vertical-align: middle; }
    .arrow::after { content: "▼"; }
    &.active .arrow::after { content: "▲"; }
}

ul.dropdown {
    display: none;
    visibility: none;
    position: absolute;
    top: 100%;
    left: 0;
    width: 100%;
    opacity: 0;
    margin: 0;
    text-align: left;
    padding: 0;
    background: white;
    border: 1px solid $gray-border;
{'fraction_non_alphanumeric': 0.15693576273440618, 'fraction_numerical': 0.04442080063838277, 'mean_word_length': 2.3797752808988766, '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': '6230800', 'n_tokens_mistral': 3048, 'n_tokens_neox': 2708, 'n_words': 660}