<commit_before>/*
|--------------------------------------------------------------------------
| General
|--------------------------------------------------------------------------
*/

html {
    font-size: 12px;
    user-select: none;
    -webkit-user-select: none;
    height: 100%;
    overflow: hidden;
}

body {
    font-size: 12px;
    user-select: none;
    -webkit-user-select: none;
    height: 100%;
    overflow: hidden;
    font-family: OpenSans;
    border: 1px solid rgb(182, 182, 182);
}

* {
    -webkit-user-drag: none;
}

button {
    outline: none;
}



/*
|--------------------------------------------------------------------------
| General - Customization
|--------------------------------------------------------------------------
*/

::-webkit-scrollbar {
    width: 5px;
    background-color: rgba(0, 0, 0, 0.2);
    border: 0;
}

::-webkit-scrollbar-thumb {
    background-color: rgba(0, 0, 0, 0.4);
}

input[type=range] {
    -webkit-appearance: none;
    outline: none;

    &::-webkit-slider-thumb {
        -webkit-appearance: none;
        height: 12px;
        width: 12px;
        border-radius: 6px;
        background-color: #FFF;
        border: 1px solid #AAA;
        position: relative;
        top: -5px;
    }

    &::-webkit-slider-runnable-track {
        -webkit-appearance: none;
        background: #BBB;
        border: solid 1px #999;
        border-radius: 5px;
        height: 5px;
    }
}




/*
|--------------------------------------------------------------------------
| Drag
|--------------------------------------------------------------------------
*/

header {
    -webkit-app-region: drag;

    .player-controls,
    .now-playing-bar,
    .now-playing-info-buttons,
    .search,
    .window-control,
    .queue-controls {
        -webkit-app-region: no-drag;
    }
}



/*
|--------------------------------------------------------------------------
| Fonts
|--------------------------------------------------------------------------
*/

@font-face {
    font-family: OpenSans;
    src: url('../assets/open-sans-fontface/fonts/Regular/OpenSans-Regular.ttf');
}


@font-face {
    font-family: OpenSans;
    src: url('../assets/open-sans-fontface/fonts/Bold/OpenSans-Bold.ttf');
    font-weight: bold;
}


@font-face {
    font-family: OpenSans;
    src: url('../assets/open-sans-fontface/fonts/Light/OpenSans-Light.ttf');
    font-weight: 100;
}



/*
|--------------------------------------------------------------------------
| Bootstrap Modification
|--------------------------------------------------------------------------
*/

.btn {
    &.active {
        &.focus, &:focus {
            outline: none;
        }
    }
    &.focus {
        outline: none;
    }
    &:active {
        &.focus, &:focus {
            outline: none;
        }
    }
    &:focus {
        outline: none;
    }
}

.form-control:focus {
    border-color: #AAAAAA;
    box-shadow: none;
}



/*
|--------------------------------------------------------------------------
| Header
|--------------------------------------------------------------------------
*/

header {
    border-bottom: 1px solid rgb(210, 210, 210);
    background-color: rgb(244, 244, 244);
    padding: 10px;
    display: flex;
    align-items: center;

    div[class*="col-"] {
        padding: 0;
    }

    .main-controls {

        .window-controls {
            float: left;
            margin-right: 30px;

            .window-control {
                width: 30px;
                height: 30px;
                font-size: 18px;
                color: rgba(0,0,0,0.3);
                border: 0;
                transition: all .2s ease-in-out;
                text-align: center;
                line-height: 22px;
                background-color: transparent;
                -webkit-app-region: no-drag;

                &:active {
                    background-color: #DFDFDF;
                    border: solid 1px #B8B8B8;
                }
            }
        }

        .player-controls {
            display: flex;
            align-items: center;
            margin-top: 2px;

            .player-control {
                border: 0;
                background: transparent;
                font-size: 16px;
                color: #555;
                padding: 0 10px;

                &.play {
                    font-size: 18px;
                }

                i {
                    display: flex;
                    align-items: center;
                }<commit_msg>Slightly increase play button size<commit_after>/*
|--------------------------------------------------------------------------
| General
|--------------------------------------------------------------------------
*/

html {
    font-size: 12px;
    user-select: none;
    -webkit-user-select: none;
    height: 100%;
    overflow: hidden;
}

body {
    font-size: 12px;
    user-select: none;
    -webkit-user-select: none;
    height: 100%;
    overflow: hidden;
    font-family: OpenSans;
    border: 1px solid rgb(182, 182, 182);
}

* {
    -webkit-user-drag: none;
}

button {
    outline: none;
}



/*
|--------------------------------------------------------------------------
| General - Customization
|--------------------------------------------------------------------------
*/

::-webkit-scrollbar {
    width: 5px;
    background-color: rgba(0, 0, 0, 0.2);
    border: 0;
}

::-webkit-scrollbar-thumb {
    background-color: rgba(0, 0, 0, 0.4);
}

input[type=range] {
    -webkit-appearance: none;
    outline: none;

    &::-webkit-slider-thumb {
        -webkit-appearance: none;
        height: 12px;
        width: 12px;
        border-radius: 6px;
        background-color: #FFF;
        border: 1px solid #AAA;
        position: relative;
        top: -5px;
    }

    &::-webkit-slider-runnable-track {
        -webkit-appearance: none;
        background: #BBB;
        border: solid 1px #999;
        border-radius: 5px;
        height: 5px;
    }
}




/*
|--------------------------------------------------------------------------
| Drag
|--------------------------------------------------------------------------
*/

header {
    -webkit-app-region: drag;

    .player-controls,
    .now-playing-bar,
    .now-playing-info-buttons,
    .search,
    .window-control,
    .queue-controls {
        -webkit-app-region: no-drag;
    }
}



/*
|--------------------------------------------------------------------------
| Fonts
|--------------------------------------------------------------------------
*/

@font-face {
    font-family: OpenSans;
    src: url('../assets/open-sans-fontface/fonts/Regular/OpenSans-Regular.ttf');
}


@font-face {
    font-family: OpenSans;
    src: url('../assets/open-sans-fontface/fonts/Bold/OpenSans-Bold.ttf');
    font-weight: bold;
}


@font-face {
    font-family: OpenSans;
    src: url('../assets/open-sans-fontface/fonts/Light/OpenSans-Light.ttf');
    font-weight: 100;
}



/*
|--------------------------------------------------------------------------
| Bootstrap Modification
|--------------------------------------------------------------------------
*/

.btn {
    &.active {
        &.focus, &:focus {
            outline: none;
        }
    }
    &.focus {
        outline: none;
    }
    &:active {
        &.focus, &:focus {
            outline: none;
        }
    }
    &:focus {
        outline: none;
    }
}

.form-control:focus {
    border-color: #AAAAAA;
    box-shadow: none;
}



/*
|--------------------------------------------------------------------------
| Header
|--------------------------------------------------------------------------
*/

header {
    border-bottom: 1px solid rgb(210, 210, 210);
    background-color: rgb(244, 244, 244);
    padding: 10px;
    display: flex;
    align-items: center;

    div[class*="col-"] {
        padding: 0;
    }

    .main-controls {

        .window-controls {
            float: left;
            margin-right: 30px;

            .window-control {
                width: 30px;
                height: 30px;
                font-size: 18px;
                color: rgba(0,0,0,0.3);
                border: 0;
                transition: all .2s ease-in-out;
                text-align: center;
                line-height: 22px;
                background-color: transparent;
                -webkit-app-region: no-drag;

                &:active {
                    background-color: #DFDFDF;
                    border: solid 1px #B8B8B8;
                }
            }
        }

        .player-controls {
            display: flex;
            align-items: center;
            margin-top: 2px;

            .player-control {
                border: 0;
                background: transparent;
                font-size: 16px;
                color: #555;
                padding: 0 10px;

                &.play {
                    font-size: 20px;
                }

                i {
                    display: flex;
                    align-items: center;
                }
{'fraction_non_alphanumeric': 0.308646075500941, 'fraction_numerical': 0.0228052695671427, 'mean_word_length': 0.8864063478805596, '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': '3473694', 'n_tokens_mistral': 2765, 'n_tokens_neox': 2416, 'n_words': 468}