<commit_before>/**
 * A side-locked navbar.
 */
.navbar {

    .pull-right {
        margin-right: 5px;
    }

    &.navbar-fixed-side {

        // Add this class if you want to add an offset for the header.
        &.navbar-fixed-side-header-offset {
            top: @navbar-height;
        }
        // Add this class if you want to add an offset for the footer.
        &.navbar-fixed-side-footer-offset {
            bottom: @navbar-height;
        }

        @media (max-width: @screen-xs-max) {
            width: @navbar-fixed-side-width-xs;

            &.navbar-fixed-side-has-submenu {
                width: (@navbar-fixed-side-width-xs + @navbar-fixed-side-submenu-width-xs);
            }

            top: 0px;
            right: 0px;
            bottom: 0px;

            .nav-submenu {
                position: absolute;
                top: 0px;
                left: 0px;
                bottom: 0px;
                width: @navbar-fixed-side-submenu-width-md;
            }
        }
        @media (min-width: @screen-sm-min) and (max-width: @screen-sm-max) {
            width: @navbar-fixed-side-width-sm;

            &.navbar-fixed-side-has-submenu {
                width: (@navbar-fixed-side-width-sm + @navbar-fixed-side-submenu-width-sm);
            }

            top: 0px;
            left: 0px;
            bottom: 0px;

            .nav-submenu {
                position: absolute;
                top: 0px;
                right: 0px;
                bottom: 0px;
                width: @navbar-fixed-side-submenu-width-md;
            }
        }
        @media (min-width: @screen-md-min) and (max-width: @screen-md-max) {
            width: @navbar-fixed-side-width-md;
            &.navbar-fixed-side-has-submenu {
                width: (@navbar-fixed-side-width-md + @navbar-fixed-side-submenu-width-md);
            }

            top: 0px;
            left: 0px;
            bottom: 0px;

            .nav-submenu {
                position: absolute;
                top: 0px;
                right: 0px;
                bottom: 0px;
                width: @navbar-fixed-side-submenu-width-md;
            }
        }
        @media (min-width: @screen-lg-min) {
            width: @navbar-fixed-side-width-lg;
            &.navbar-fixed-side-has-submenu {
                width: (@navbar-fixed-side-width-lg + @navbar-fixed-side-submenu-width-lg);
            }

            top: 0px;
            left: 0px;
            bottom: 0px;

            .nav-submenu {
                position: absolute;
                top: 0px;
                right: 0px;
                bottom: 0px;
                width: @navbar-fixed-side-submenu-width-md;
            }
        }

        .nav-main {
            padding: 5px 0px 5px 0px;
        }

        .nav-submenu {
            display: none;
            background-color: @navbar-inverse-link-active-bg;

            .nav.nav-pills {
                > li {
                    margin-right: 0px;
                    margin-left: 0px;

                    > a {
                        border-radius: 0px;
                        background: none;

                        &:hover {
                            background: none;
                        }
                    }
                }
            }
        }

        overflow: hidden;
        border-radius: 0px;
        position: fixed;
        margin: 0px;

        &.navbar-inverse .nav {

            > li {

                margin-right: 5px;
                margin-left: 5px;

                > a {
                    color: @navbar-inverse-link-color;
                    background: @navbar-inverse-bg;
                    border-color: @navbar-inverse-border;
                    padding: 10px 5px;
                }

                > a:hover {
                    color: @navbar-inverse-link-hover-color;
                    background: @navbar-inverse-link-hover-bg;<commit_msg>Allow scroll when navbar content exceeds height of screen<commit_after>/**
 * A side-locked navbar.
 */
.navbar {

    .pull-right {
        margin-right: 5px;
    }

    &.navbar-fixed-side {

        // Add this class if you want to add an offset for the header.
        &.navbar-fixed-side-header-offset {
            top: @navbar-height;
        }
        // Add this class if you want to add an offset for the footer.
        &.navbar-fixed-side-footer-offset {
            bottom: @navbar-height;
        }

        @media (max-width: @screen-xs-max) {
            width: @navbar-fixed-side-width-xs;

            &.navbar-fixed-side-has-submenu {
                width: (@navbar-fixed-side-width-xs + @navbar-fixed-side-submenu-width-xs);
            }

            top: 0px;
            right: 0px;
            bottom: 0px;

            .nav-submenu {
                position: absolute;
                top: 0px;
                left: 0px;
                bottom: 0px;
                width: @navbar-fixed-side-submenu-width-md;
            }
        }
        @media (min-width: @screen-sm-min) and (max-width: @screen-sm-max) {
            width: @navbar-fixed-side-width-sm;

            &.navbar-fixed-side-has-submenu {
                width: (@navbar-fixed-side-width-sm + @navbar-fixed-side-submenu-width-sm);
            }

            top: 0px;
            left: 0px;
            bottom: 0px;

            .nav-submenu {
                position: absolute;
                top: 0px;
                right: 0px;
                bottom: 0px;
                width: @navbar-fixed-side-submenu-width-md;
            }
        }
        @media (min-width: @screen-md-min) and (max-width: @screen-md-max) {
            width: @navbar-fixed-side-width-md;
            &.navbar-fixed-side-has-submenu {
                width: (@navbar-fixed-side-width-md + @navbar-fixed-side-submenu-width-md);
            }

            top: 0px;
            left: 0px;
            bottom: 0px;

            .nav-submenu {
                position: absolute;
                top: 0px;
                right: 0px;
                bottom: 0px;
                width: @navbar-fixed-side-submenu-width-md;
            }
        }
        @media (min-width: @screen-lg-min) {
            width: @navbar-fixed-side-width-lg;
            &.navbar-fixed-side-has-submenu {
                width: (@navbar-fixed-side-width-lg + @navbar-fixed-side-submenu-width-lg);
            }

            top: 0px;
            left: 0px;
            bottom: 0px;

            .nav-submenu {
                position: absolute;
                top: 0px;
                right: 0px;
                bottom: 0px;
                width: @navbar-fixed-side-submenu-width-md;
            }
        }

        .nav-main {
            padding: 5px 0px 5px 0px;
        }

        .nav-submenu {
            display: none;
            background-color: @navbar-inverse-link-active-bg;

            .nav.nav-pills {
                > li {
                    margin-right: 0px;
                    margin-left: 0px;

                    > a {
                        border-radius: 0px;
                        background: none;

                        &:hover {
                            background: none;
                        }
                    }
                }
            }
        }

        overflow: auto;
        border-radius: 0px;
        position: fixed;
        margin: 0px;

        &.navbar-inverse .nav {

            > li {

                margin-right: 5px;
                margin-left: 5px;

                > a {
                    color: @navbar-inverse-link-color;
                    background: @navbar-inverse-bg;
                    border-color: @navbar-inverse-border;
                    padding: 10px 5px;
                }

                > a:hover {
                    color: @navbar-inverse-link-hover-color;
                    background: @navbar-inverse-link-hover-bg;
{'fraction_non_alphanumeric': 0.11256940938919738, 'fraction_numerical': 0.009843513377082282, 'mean_word_length': 0.9947143216712812, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 13, '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': '4211920', 'n_tokens_mistral': 2487, 'n_tokens_neox': 2184, 'n_words': 419}