<commit_before>@import 'lib';

#site-header {
    .box-shadow(~'0 -1px 0 rgba(0,0,0,.5) inset, 0 1px 0 rgba(255,255,255,.1) inset');
    background: darken(#3f4f5b, 5%) @grain-src;
    background-size: 100px 100px;
    height: 80px;
    .upper-header {
        position: relative;
        z-index: 1006;
    }
    .menu-nav {
        position: relative;
        max-width: 960px;
    }
}

.developer-hub #site-header {
    h1 {
        a {
            .hidetext;
            // TODO: Retinaize.
            background: url(../../img/ecosystem/logo.png) 0 50% no-repeat;
            background-size: auto 50px;
            display: block;
            height: 80px;
            min-width: 300px;
        }
    }
}

#site-header .upper-header,
#site-nav .pad {
    padding: 0;
}

.menu-nav {
    font-size: 12px;
    margin-left: 64px;
    position: relative;
    z-index: 1005;
    &.no-img {
        margin-left: 0;
    }
    li.slim:hover {
        &:after {
            display: none;
        }
        > a {
            .border-radius(3px);
        }
    }
    > ul {
        margin: 0;
        padding: 0;
        > li {
            float: left;
            position: relative;
            > a {
                position: relative;
                z-index: 2;
                border-style: solid;
                .border-radius(3px 3px 0 0);
                border-color: transparent;
                border-width: 1px 1px 0;
            }
            &:not(.open):hover, &.open {
                > ul {
                    display: block;
                }
            }
            > ul {
                width: 190px;
                position: absolute;
                z-index: 3;  /* Overlap the loading-throbber areas. */
                padding: 8px;
                display: none;
                background: #fff;
                border: 1px solid @light-gray;
                .border-radius(3px);
                .box-shadow(0 -2px 0 fadeOut(@taupe, 80%) inset,
                            0 0 1px rgba(0, 0, 0, 0.1));
                a {
                    text-decoration: none;
                    display: block;
                    line-height: 1.2;
                    padding: 6px 8px;
                    word-wrap: break-word;
                    &:hover {
                        background: lighten(@border-blue, 10%);
                    }
                }
            }
        }
        em a:hover {
            background: #e1edfb;
        }
    }
    hr {
        border: 0;
        margin: 6px 8px;
        border-top: 1px dotted #ccc;
    }
    em {
        background: #F4F8FC;
        display: block;
        font-weight: bold;
    }
}

#site-nav {
    background: @white;
    border-bottom: 1px solid @border-gray;
    height: 44px;
    position: relative;
    z-index: 1;
    .menu-nav > ul {
        > li {
            border-left: 1px dotted @light-gray;
            margin: 10px 0;
            ul {
                padding: 5px;
            }
            > a {
                color: #484848;
                display: block;
                padding: 6px 12px;
                line-height: 12px;
                text-transform: uppercase;
                &.selected {
                    color: #282828;
                    font-weight: bold;
                    text-decoration: none;
                }
            }
            &:first-child {
                border: 0;
                padding-left: 0;
                > a {
                    padding-left: 0;
                }
            }<commit_msg>fix z-index on Reviewer Tools nav<commit_after>@import 'lib';

#site-header {
    .box-shadow(~'0 -1px 0 rgba(0,0,0,.5) inset, 0 1px 0 rgba(255,255,255,.1) inset');
    background: darken(#3f4f5b, 5%) @grain-src;
    background-size: 100px 100px;
    height: 80px;
    z-index: 1;
    .upper-header {
        position: relative;
        z-index: 1006;
    }
    .menu-nav {
        position: relative;
        max-width: 960px;
    }
}

.developer-hub #site-header {
    h1 {
        a {
            .hidetext;
            // TODO: Retinaize.
            background: url(../../img/ecosystem/logo.png) 0 50% no-repeat;
            background-size: auto 50px;
            display: block;
            height: 80px;
            min-width: 300px;
        }
    }
}

#site-header .upper-header,
#site-nav .pad {
    padding: 0;
}

.menu-nav {
    font-size: 12px;
    margin-left: 64px;
    position: relative;
    z-index: 1005;
    &.no-img {
        margin-left: 0;
    }
    li.slim:hover {
        &:after {
            display: none;
        }
        > a {
            .border-radius(3px);
        }
    }
    > ul {
        margin: 0;
        padding: 0;
        > li {
            float: left;
            position: relative;
            > a {
                position: relative;
                z-index: 2;
                border-style: solid;
                .border-radius(3px 3px 0 0);
                border-color: transparent;
                border-width: 1px 1px 0;
            }
            &:not(.open):hover, &.open {
                > ul {
                    display: block;
                }
            }
            > ul {
                width: 190px;
                position: absolute;
                z-index: 3;  /* Overlap the loading-throbber areas. */
                padding: 8px;
                display: none;
                background: #fff;
                border: 1px solid @light-gray;
                .border-radius(3px);
                .box-shadow(0 -2px 0 fadeOut(@taupe, 80%) inset,
                            0 0 1px rgba(0, 0, 0, 0.1));
                a {
                    text-decoration: none;
                    display: block;
                    line-height: 1.2;
                    padding: 6px 8px;
                    word-wrap: break-word;
                    &:hover {
                        background: lighten(@border-blue, 10%);
                    }
                }
            }
        }
        em a:hover {
            background: #e1edfb;
        }
    }
    hr {
        border: 0;
        margin: 6px 8px;
        border-top: 1px dotted #ccc;
    }
    em {
        background: #F4F8FC;
        display: block;
        font-weight: bold;
    }
}

#site-nav {
    background: @white;
    border-bottom: 1px solid @border-gray;
    height: 44px;
    position: relative;
    z-index: 2;
    .menu-nav > ul {
        > li {
            border-left: 1px dotted @light-gray;
            margin: 10px 0;
            ul {
                padding: 5px;
            }
            > a {
                color: #484848;
                display: block;
                padding: 6px 12px;
                line-height: 12px;
                text-transform: uppercase;
                &.selected {
                    color: #282828;
                    font-weight: bold;
                    text-decoration: none;
                }
            }
            &:first-child {
                border: 0;
                padding-left: 0;
                > a {
                    padding-left: 0;
                }
            }
{'fraction_non_alphanumeric': 0.11164095371669004, 'fraction_numerical': 0.037447405329593265, 'mean_word_length': 0.951559934318555, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 23, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3074727', 'n_tokens_mistral': 2396, 'n_tokens_neox': 2077, 'n_words': 475}