<commit_before>@import "base_style";
.rc-menu-item:hover {
    cursor: pointer;
}
.bottom-menu {
    background-color: #f8f8f8;
    .rc-menu-item {
        padding: 0;
        min-width: 90px;
        height: 86px;
        margin-top: 4px;
        margin-bottom: 4px;
        text-align: center;
        border-right: 1px solid #ddd;
        background: none;
        white-space: normal;
        &:first-child {
            margin-left: 8px;
        }
        &:hover {
            margin-bottom: 0;
            height: 86px;
            input[type=range] {
                &::-webkit-slider-thumb {
                    background: #35b8fd;
                    border: 0;
                }
                &::-moz-range-thumb {
                    background: #35b8fd;
                    border: 0;
                }
                &::-ms-thumb {
                    background: #35b8fd;
                    border: 0;
                }
            }
        }
    }
    .rc-menu-item-selected {
        background: none;
        height: 86px;
    }
    .slider {
        width: 250px;
        height: 78px;
        padding-left: 15px;
        padding-right: 15px;
        padding-top: 19px;
        .sliderData {
            padding-top: 15px;
        }
    }
    .sliderWithIcons {
        .sliderData {
            div {
                display: inline-block;
            }
            .slider-icon {
                font-size: 20px;
                opacity: 0.5;
                color: #666;
                &:hover {
                    color: #2baee9;
                    opacity: 1;
                }
            }
            .slider-left-icon {
                float: left;
            }
            .slider-right-icon {
                float: right;
            }
        }
    }
}
.sidebar-menu {
    border-bottom: none;
    .rc-menu-item {
        width: $sidebarWidth/2;
        text-align: center;
        background-color: #eee;
        &:first-child {
            border-right: 2px solid #aaa;
        }
        &:disabled {
            opacity: 0.5;
        }
    }
    .rc-menu-item-selected {
        background-color: #ddd;
    }
}
.rc-menu-item:disabled {
    opacity: 0.25;
}
.rc-menu-item .button-icon {
    font-size: 32px;
    opacity: 0.5;
    padding-bottom: 11px;
    padding-top: 15px;
    display: block;
    &:hover {
        opacity: 1;
    }
}
// Slider style
// TODO: Fix in Edge, padding and thumb are currently buggy
input[type=range] {
    -webkit-appearance: none;
    width: 100%;
    margin: 8px 0;
    &:focus {
        outline: none;
    }
    &::-webkit-slider-runnable-track {
        width: 100%;
        height: 8px;
        cursor: pointer;
        background: rgba(102, 102, 102, .75);
        border-radius: 1px;
    }
    &::-webkit-slider-thumb {
        border: 1px solid rgba(102, 102, 102, .75);
        height: 24px;
        width: 10px;
        border-radius: 2px;
        background: #ffffff;
        cursor: pointer;
        -webkit-appearance: none;
        margin-top: -8px;
    }
    &:focus::-webkit-slider-runnable-track {
        background: rgba(102, 102, 102, .75);
    }
    &::-moz-range-track {
        width: 100%;
        height: 8px;
        cursor: pointer;
        background: rgba(102, 102, 102, .75);
        border-radius: 1px;
    }
    &::-moz-range-thumb {
        border: 1px solid rgba(102, 102, 102, .75);
        height: 24px;
        width: 10px;
        border-radius: 2px;
        background: #ffffff;
        cursor: pointer;
    }
    &::-ms-track {
        width: 100%;
        height: 8px;
        cursor: pointer;
        background: transparent;
        border-color: transparent;
        color: transparent;
    }
    &::-ms-fill-lower,
    &::-ms-fill-upper {
        background: rgba(102, 102, 102, .75);
        border-radius: 1px;
    }
    &::-ms-thumb {
        border: 1px solid rgba(102, 102, 102, .75);
        height: 24px;
        width: 10px;
        border-radius: 2px;
        background: #ffffff;
        cursor: pointer;
    }
    &:focus {
        &::-ms-fill-lower,
        &::-ms-fill-upper {
            background: rgba(102, 102, 102, .75);
        }
    }
}
<commit_msg>Fixed slider alignment and sizing errors caused by changing the buttons to use Glyphicons Halflings again.<commit_after>@import "base_style";
.rc-menu-item:hover {
    cursor: pointer;
}
.bottom-menu {
    background-color: #f8f8f8;
    .rc-menu-item {
        padding: 0;
        min-width: 90px;
        height: 86px;
        margin-top: 4px;
        margin-bottom: 4px;
        text-align: center;
        border-right: 1px solid #ddd;
        background: none;
        white-space: normal;
        &:first-child {
            margin-left: 8px;
        }
        &:hover {
            margin-bottom: 0;
            height: 86px;
            input[type=range] {
                &::-webkit-slider-thumb {
                    background: #35b8fd;
                    border: 0;
                }
                &::-moz-range-thumb {
                    background: #35b8fd;
                    border: 0;
                }
                &::-ms-thumb {
                    background: #35b8fd;
                    border: 0;
                }
            }
        }
    }
    .rc-menu-item-selected {
        background: none;
        height: 86px;
    }
    .slider {
        width: 250px;
        height: 78px;
        padding-left: 15px;
        padding-right: 15px;
        padding-top: 19px;
        .sliderData {
            padding-top: 11px;
        }
    }
    .sliderWithIcons {
        .sliderData {
            div {
                display: inline-block;
            }
            .slider-icon {
                font-size: 20px;
                opacity: 0.5;
                color: #666;
                &:hover {
                    color: #2baee9;
                    opacity: 1;
                }
            }
            .slider-left-icon {
                float: left;
            }
            .slider-right-icon {
                float: right;
            }
        }
    }
}
.sidebar-menu {
    border-bottom: none;
    .rc-menu-item {
        width: $sidebarWidth/2;
        text-align: center;
        background-color: #eee;
        &:first-child {
            border-right: 2px solid #aaa;
        }
        &:disabled {
            opacity: 0.5;
        }
    }
    .rc-menu-item-selected {
        background-color: #ddd;
    }
}
.rc-menu-item:disabled {
    opacity: 0.25;
}
.rc-menu-item .button-icon {
    font-size: 32px;
    opacity: 0.5;
    padding-bottom: 11px;
    padding-top: 15px;
    display: block;
    &:hover {
        opacity: 1;
    }
}
// Slider style
// TODO: Fix in Edge, padding and thumb are currently buggy
input[type=range] {
    -webkit-appearance: none;
    width: 100%;
    margin: 10px 0;
    &:focus {
        outline: none;
    }
    &::-webkit-slider-runnable-track {
        width: 100%;
        height: 8px;
        cursor: pointer;
        background: rgba(102, 102, 102, .75);
        border-radius: 1px;
    }
    &::-webkit-slider-thumb {
        border: 1px solid rgba(102, 102, 102, .75);
        height: 28px;
        width: 10px;
        border-radius: 2px;
        background: #ffffff;
        cursor: pointer;
        -webkit-appearance: none;
        margin-top: -10px;
    }
    &:focus::-webkit-slider-runnable-track {
        background: rgba(102, 102, 102, .75);
    }
    &::-moz-range-track {
        width: 100%;
        height: 8px;
        cursor: pointer;
        background: rgba(102, 102, 102, .75);
        border-radius: 1px;
    }
    &::-moz-range-thumb {
        border: 1px solid rgba(102, 102, 102, .75);
        height: 28px;
        width: 10px;
        border-radius: 2px;
        background: #ffffff;
        cursor: pointer;
    }
    &::-ms-track {
        width: 100%;
        height: 8px;
        cursor: pointer;
        background: transparent;
        border-color: transparent;
        color: transparent;
    }
    &::-ms-fill-lower,
    &::-ms-fill-upper {
        background: rgba(102, 102, 102, .75);
        border-radius: 1px;
    }
    &::-ms-thumb {
        border: 1px solid rgba(102, 102, 102, .75);
        height: 28px;
        width: 10px;
        border-radius: 2px;
        background: #ffffff;
        cursor: pointer;
    }
    &:focus {
        &::-ms-fill-lower,
        &::-ms-fill-upper {
            background: rgba(102, 102, 102, .75);
        }
    }
}

{'fraction_non_alphanumeric': 0.1273156342182891, 'fraction_numerical': 0.046253687315634215, 'mean_word_length': 1.2441090812814404, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '7313618', 'n_tokens_mistral': 3068, 'n_tokens_neox': 2646, 'n_words': 573}