<commit_before>@barcolor: #333;
@translucentBarcolor: fade(@barcolor, 90%);

a, h1, h2, h3, h4, h5, h6 {
    font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Helvetica, Arial, sans-serif;    
}

.navbar-inverse {
    background: @barcolor;
    background: @translucentBarcolor;
}

.navbar-inverse .navbar-nav > .active > {
    a, a:hover, a:focus {
        background: darken(@barcolor, 8%);
        background: darken(@translucentBarcolor, 8%);
    }
}

.navbar-inverse .navbar-nav .dropdown-menu > li > a {
    color: #333;
    background: transparent;
    &:hover {
        background: #f5f5f5;
    }
} 

.image-overlay(@color, @alpha, @image) {
        @startColor: fade(@color, @alpha);
        @endColor: @startColor;
        background: @color;
        background: @startColor;
        background: -moz-linear-gradient(top, @startColor, @endColor), @image; // FF 3.6+
        background: -webkit-gradient(linear, 0 0, 0 100%, from(@startColor), to(@endColor)), @image; // Safari 4+, Chrome 2+
        background: -webkit-linear-gradient(top, @startColor, @endColor), @image; // Safari 5.1+, Chrome 10+
        background: -o-linear-gradient(top, @startColor, @endColor), @image; // Opera 11.10
        background: linear-gradient(to bottom, @startColor, @endColor), @image; // Standard, IE10
}

@jumbo: #0f4e67;

.jumbotron {
    background: @jumbo url(../img/bg.png) 0 0 repeat;
    color: #eee;
}

.header {
    min-height: 85px;
    padding-bottom: 10px;
    margin-bottom: 30px;

    h1 {
        font-size: 40px;
    }
    .breadcrumb {
        padding: 0;
        margin: 0;
        font-size: 18px;
        background: transparent;
        color: #fff;

        a {
            color: #fff;
        }
    }
}

.marketing-holder {
    margin-top: 30px;    

    p {
        font-size: 24px;
        margin: 15px 0;
    }
}


.logo-holder {
    text-align: right;
    position: relative;
}

#logo {
    margin: 30px 0 30px 30px;
    display: inline-block;
    background: url(../img/gondola.png) 0 0 no-repeat;
    background-size: 300px 300px;
    width: 300px;
    height: 300px;
}

#header-logo {
    position: absolute;
    right: 10px;
    top: 10px;
    background: url(../img/gondola_60.png) 0 0 no-repeat;
    background-size: 60px 60px;
    width: 60px;
    height: 60px;
}

/* Source code formatting */
.syntaxhighlighter {
    display: block;
    margin: 0 0 10px;
    font-size: 13px;
    line-height: 1.428571429;
    background-color: #f5f5f5;
    border: 1px solid #ccc;
    border-radius: 4px;
    padding: 4px 4px 4px 0;
    overflow: scroll;

    code {
        border-radius: 0;
        background-color: transparent;
    }

    td {
        vertical-align: top;
    }

    .gutter {
        .line {
            padding-left: 5px;
            padding-right: 5px;

            a {
                font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;

                &:active, &:focus {
                    outline: 0;
                }
            }
        }
    }

    .container {
        padding: 0;
        width: auto;
    }
}

/* Package documentation */
.import {
    font-family: Monaco, Menlo, Consolas, 'Courier New', monospace;
}

.doc-anchor {
    padding-left: 5px;
    display: none;
    font-size: 90%;

    .fa-external-link {
        font-size: 90%;
    }
}

h1, h2, h3, h4, h5, h5 {
    &:hover {
        .doc-anchor {
            display: inline;
        }
    }
}

.doc .comments {
    color: darken(#5cb85c, 15%);
}<commit_msg>Make anchor and source icons a bit smaller<commit_after>@barcolor: #333;
@translucentBarcolor: fade(@barcolor, 90%);

a, h1, h2, h3, h4, h5, h6 {
    font-family: 'Open Sans', 'Helvetica Neue', Helvetica, Helvetica, Arial, sans-serif;    
}

.navbar-inverse {
    background: @barcolor;
    background: @translucentBarcolor;
}

.navbar-inverse .navbar-nav > .active > {
    a, a:hover, a:focus {
        background: darken(@barcolor, 8%);
        background: darken(@translucentBarcolor, 8%);
    }
}

.navbar-inverse .navbar-nav .dropdown-menu > li > a {
    color: #333;
    background: transparent;
    &:hover {
        background: #f5f5f5;
    }
} 

.image-overlay(@color, @alpha, @image) {
        @startColor: fade(@color, @alpha);
        @endColor: @startColor;
        background: @color;
        background: @startColor;
        background: -moz-linear-gradient(top, @startColor, @endColor), @image; // FF 3.6+
        background: -webkit-gradient(linear, 0 0, 0 100%, from(@startColor), to(@endColor)), @image; // Safari 4+, Chrome 2+
        background: -webkit-linear-gradient(top, @startColor, @endColor), @image; // Safari 5.1+, Chrome 10+
        background: -o-linear-gradient(top, @startColor, @endColor), @image; // Opera 11.10
        background: linear-gradient(to bottom, @startColor, @endColor), @image; // Standard, IE10
}

@jumbo: #0f4e67;

.jumbotron {
    background: @jumbo url(../img/bg.png) 0 0 repeat;
    color: #eee;
}

.header {
    min-height: 85px;
    padding-bottom: 10px;
    margin-bottom: 30px;

    h1 {
        font-size: 40px;
    }
    .breadcrumb {
        padding: 0;
        margin: 0;
        font-size: 18px;
        background: transparent;
        color: #fff;

        a {
            color: #fff;
        }
    }
}

.marketing-holder {
    margin-top: 30px;    

    p {
        font-size: 24px;
        margin: 15px 0;
    }
}


.logo-holder {
    text-align: right;
    position: relative;
}

#logo {
    margin: 30px 0 30px 30px;
    display: inline-block;
    background: url(../img/gondola.png) 0 0 no-repeat;
    background-size: 300px 300px;
    width: 300px;
    height: 300px;
}

#header-logo {
    position: absolute;
    right: 10px;
    top: 10px;
    background: url(../img/gondola_60.png) 0 0 no-repeat;
    background-size: 60px 60px;
    width: 60px;
    height: 60px;
}

/* Source code formatting */
.syntaxhighlighter {
    display: block;
    margin: 0 0 10px;
    font-size: 13px;
    line-height: 1.428571429;
    background-color: #f5f5f5;
    border: 1px solid #ccc;
    border-radius: 4px;
    padding: 4px 4px 4px 0;
    overflow: scroll;

    code {
        border-radius: 0;
        background-color: transparent;
    }

    td {
        vertical-align: top;
    }

    .gutter {
        .line {
            padding-left: 5px;
            padding-right: 5px;

            a {
                font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;

                &:active, &:focus {
                    outline: 0;
                }
            }
        }
    }

    .container {
        padding: 0;
        width: auto;
    }
}

/* Package documentation */
.import {
    font-family: Monaco, Menlo, Consolas, 'Courier New', monospace;
}

.doc-anchor {
    padding-left: 5px;
    display: none;
    font-size: 75%;

    .fa-external-link {
        font-size: 90%;
    }
}

h1, h2, h3, h4, h5, h5 {
    &:hover {
        .doc-anchor {
            display: inline;
        }
    }
}

.doc .comments {
    color: darken(#5cb85c, 15%);
}
{'fraction_non_alphanumeric': 0.14194100042753313, 'fraction_numerical': 0.04218326920336326, 'mean_word_length': 2.0223944875107667, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 11, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6162465', 'n_tokens_mistral': 2779, 'n_tokens_neox': 2452, 'n_words': 583}