<commit_before>@headerColor: #162B34;
@headerHeight: 40px;
@navWidth: 330px;
@mobileSidebarColor: #030303;

.iOsScrollFix() {
    -webkit-overflow-scrolling: touch;
}

.layout() {
    box-sizing: border-box;
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
}

.layout-element() {
    .layout();
    position: absolute;
}

body {
    color: #333;
    background-color: white;
    font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
}

h1, h2, h3, h4 {
    font-weight: normal;
}

h1 {
    font-size: 1.6em;
}

h2 {
    font-size: 1.4em;
}

h3 {
    font-size: 1.15em;
}

#welcome-to-unexpected {
    margin-top: 0px;
    font-size: 1.6em;
    margin-bottom: 2px;
    color: black;
}
#the-extensible-bdd-assertion-toolkit {
    margin-top: 0px;
    margin-bottom: 27px;
    font-size: 1.15em;
    color: black;
}

nav {
    ul {
        padding: 10px;
        margin: 0;
    }
    li {
        list-style: none;
    }
    a {
        color: #333;
        text-decoration: none;
    }
    a:hover {
        text-decoration: underline;
    }

    .active a {
        text-decoration: underline;
    }
}

header {
    .layout();
    height: @headerHeight;
    padding: 0;
    bottom: auto;
    color: white;
    background-color: @headerColor;
    z-index: 1;

    nav {
        padding-left: @headerHeight;
        .layout-element();
        ul {
            width: 100%;
            padding: 0;
            margin: 0;
        }
        li {
            display: block;
            float: left;
            margin: 0;
            box-sizing: border-box;
            height: @headerHeight;

            a {
                color: white;
                text-decoration: none;
                padding: 10px 8px;
                display: inline-block;
            }
            a:hover {
                text-decoration: none;
            }
        }
        li:hover,
        li.active {
            background-color: lighten(@headerColor, 7%);
            a {
                text-decoration: none;
            }
        }
    }
}

.has-sidebar {
    .sidebar {
        .layout();
        top: @headerHeight;
        right: auto;
        width: @navWidth;
        padding: 30px;
        overflow-y: auto;
        .iOsScrollFix();
    }
}

.main {
    .layout();
    top: @headerHeight;
    overflow-y: auto;
    .iOsScrollFix();
    &:focus {
        outline: none;
    }
}

.content {
    > h1 {
        color: rgb(139, 139, 139);
        margin: 0;
        margin-bottom: 7px;
        font-size: 1.5em;
    }

    > .declarations {
        white-space: nowrap;
        overflow-x: auto;
        list-style: none;
        padding: 0;
        color: rgb(100, 100, 100);
    }

    margin-top: 27px;
    margin-left: auto;
    margin-right: auto;
    width: 790px;
}

.has-sidebar .main {
    left: @navWidth;
    .content {
        margin: 27px 30px;
        width: auto;
    }
}

.evaluation {
    background-color: #f5f2f0;
    background-color: darken(#f5f2f0, 3%);
    padding: 16px 32px;
    margin-top: -11px;
    border-top: solid thin #E2E2E2;
    font-size: 0.8em;
    line-height: 1.3;
}

code {
    background-color: #f7f7f7;
    padding: 0 3px;
    border-radius: 2px;<commit_msg>Don't use monospaced font for inline code<commit_after>@headerColor: #162B34;
@headerHeight: 40px;
@navWidth: 330px;
@mobileSidebarColor: #030303;

.iOsScrollFix() {
    -webkit-overflow-scrolling: touch;
}

.layout() {
    box-sizing: border-box;
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
}

.layout-element() {
    .layout();
    position: absolute;
}

body {
    color: #333;
    background-color: white;
    font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
}

h1, h2, h3, h4 {
    font-weight: normal;
}

h1 {
    font-size: 1.6em;
}

h2 {
    font-size: 1.4em;
}

h3 {
    font-size: 1.15em;
}

#welcome-to-unexpected {
    margin-top: 0px;
    font-size: 1.6em;
    margin-bottom: 2px;
    color: black;
}
#the-extensible-bdd-assertion-toolkit {
    margin-top: 0px;
    margin-bottom: 27px;
    font-size: 1.15em;
    color: black;
}

nav {
    ul {
        padding: 10px;
        margin: 0;
    }
    li {
        list-style: none;
    }
    a {
        color: #333;
        text-decoration: none;
    }
    a:hover {
        text-decoration: underline;
    }

    .active a {
        text-decoration: underline;
    }
}

header {
    .layout();
    height: @headerHeight;
    padding: 0;
    bottom: auto;
    color: white;
    background-color: @headerColor;
    z-index: 1;

    nav {
        padding-left: @headerHeight;
        .layout-element();
        ul {
            width: 100%;
            padding: 0;
            margin: 0;
        }
        li {
            display: block;
            float: left;
            margin: 0;
            box-sizing: border-box;
            height: @headerHeight;

            a {
                color: white;
                text-decoration: none;
                padding: 10px 8px;
                display: inline-block;
            }
            a:hover {
                text-decoration: none;
            }
        }
        li:hover,
        li.active {
            background-color: lighten(@headerColor, 7%);
            a {
                text-decoration: none;
            }
        }
    }
}

.has-sidebar {
    .sidebar {
        .layout();
        top: @headerHeight;
        right: auto;
        width: @navWidth;
        padding: 30px;
        overflow-y: auto;
        .iOsScrollFix();
    }
}

.main {
    .layout();
    top: @headerHeight;
    overflow-y: auto;
    .iOsScrollFix();
    &:focus {
        outline: none;
    }
}

.content {
    > h1 {
        color: rgb(139, 139, 139);
        margin: 0;
        margin-bottom: 7px;
        font-size: 1.5em;
    }

    > .declarations {
        white-space: nowrap;
        overflow-x: auto;
        list-style: none;
        padding: 0;
        color: rgb(100, 100, 100);
    }

    margin-top: 27px;
    margin-left: auto;
    margin-right: auto;
    width: 790px;
}

.has-sidebar .main {
    left: @navWidth;
    .content {
        margin: 27px 30px;
        width: auto;
    }
}

.evaluation {
    background-color: #f5f2f0;
    background-color: darken(#f5f2f0, 3%);
    padding: 16px 32px;
    margin-top: -11px;
    border-top: solid thin #E2E2E2;
    font-size: 0.8em;
    line-height: 1.3;
}

code {
    background-color: #f7f7f7;
    padding: 0 3px;
    border-radius: 2px;
    font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
{'fraction_non_alphanumeric': 0.13174019607843138, 'fraction_numerical': 0.03860294117647059, 'mean_word_length': 1.560392156862745, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, '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': '717591', 'n_tokens_mistral': 2541, 'n_tokens_neox': 2315, 'n_words': 490}