<commit_before>/*
 * Copyright (c) 2012 <NAME>
 * Open source under the MIT License.
 * https://raw.github.com/taye/interact-ui/master/LICENSE
 */

$default-slider-height: 30px;

$default-border-width: 3px;
$default-handle-width: 14px;
$default-handle-radius: 4px;

$default-label-radius: 5px;
$default-label-width: 40px;

$default-bar-height: 20px;
$default-bar-radius: 2px;

$blue: blue;
$red: red;
$green: green;

$handle-blue: $blue;
$handle-border-blue: darken($blue, 20%);

$bar-blue: lighten($blue, 20%);
$bar-border-blue: darken($bar-blue, 10%);


.ui-bar {
	background-color: $bar-blue;

	float: left;
	border-radius: $default-bar-radius;
}

.ui-handle,{
    width: 0px;
    height: 0px;

	background-color: $handle-blue;

    border: none;
    border-width: $default-border-width;
    border-color: $handle-border-blue;
    border-radius: $default-handle-radius;
	cursor: pointer;

	position: relative;
}

.ui-handle::before {
    background-color: inherit;

    border: solid $default-border-width;
    border-color: inherit;
    border-radius: inherit;

	position: absolute;
}

// Slider
.ui-slider {
    width: 100%;

    .ui-handle{
        &::before {
            content: "";
        }
        &::after {
            content: attr(value);
            border-radius: $default-label-radius;

            background-color: inherit;
            text-align: center;
            color: white;

            position: absolute;
        }
        &:not(:active):not(:hover):not(.interact-dragging) {
            &::after {
                display: none;
            }
        }
    }
    .ui-container {
        padding: 0;
        margin: 0;
        border: none;
    }
    &.ui-horizontal {
        .ui-container {
            height: $default-slider-height;
            width: 100%;
        }
        .ui-handle {
            &::before {
                top: 0;
                left: -($default-handle-width / 2 + $default-border-width);

                width: $default-handle-width;
                height: $default-slider-height - $default-border-width * 2;
            }
            &::after {
                width: $default-label-width;
                top: -$default-slider-height;
                left: -$default-label-width / 2;
            }
        }
        .ui-bar {
            width: 100%;
            height: $default-bar-height;
            margin: ($default-slider-height - $default-bar-height) / 2 0;
        }
    }
    &.ui-vertical {
        .ui-container {
            height: 200px;
            width:  $default-slider-height;
        }
        .ui-handle {
            &::before {
                left: 0;
                top: -($default-handle-width / 2 + $default-border-width);

                width: $default-slider-height - $default-border-width * 2;
                height: $default-handle-width;
            }
            &::after {
                width: $default-label-width;
                top: -($default-handle-width / 2 + $default-border-width);
                left: $default-slider-height;
            }
        }
        .ui-bar {
            width: $default-bar-height;
            height: 100%;
            margin: 0 ($default-slider-height - $default-bar-height) / 2;
        }
    }
}


// Toggle

.ui-toggle {
    width: 30px;
	height: 30px;
    
    .ui-container {
        padding: 0;
        border: none;
    }
    .ui-handle {
        border-style: solid;
    }
    &.ui-horizontal {
        .ui-container {
    	    height: 30px;
    	    width: 100%;
        }
        .ui-handle {
            top: 0px;
            
            width: 50%;
            height: 24px;
        }
        .ui-bar {
            width: 100%;
            height: 20px;
            margin: 5px 0;
        }
    }
    &.ui-vertical {
        .ui-container {
            height: 100%;
            width: 30px;
        }
        .ui-handle {
            left: 0px;
            
            width: 24px;
            height: 50%;

        }
        .ui-bar {
            width: 20px;
            height: 100%;
            margin: 0 5px;
        }
    }

}

.ui-slider[readonly], .ui-toggle[readonly],
.ui-slider[disabled], .ui-toggle[disabled], {
    .ui-handle {
        background-color: grayscale($handle-blue);
        border-color: grayscale($handle-border-blue);

        &::after {
            display: none;
        }
    }
    .ui-bar {
        background-color: grayscale($bar-blue);
        border-color: #888888;
    }
}

.ui-colorPicker {
    &>.ui-container {
        
        .ui-display {
            width: 20%;
            float:right;
        }
        .ui-slider {
            width: 75%;

            &.red .ui-handle {
                background-color: red;
                border-color: darken(red, 15%);
            }
            &.green .ui-handle {
                background-color: green;
                border-color: darken(green, 15%);
            }
            &.blue .ui-handle {
                background-color: blue;
                border-color: darken(blue, 15%);
            }
        }
    }
}

.ui-float {
    &>.ui-container {
        overflow: hidden;

        &>.ui-handle {
            width: 100%;
            height: 20px;

            border-bottom-left-radius: 0px;
            border-bottom-right-radius: 0px;

            content: attr(title);
            text-align: center;
        }
        &>.ui-content {
            background-color: white;
            color: black;
            overflow: hidden;
        }
    }
}


<commit_msg>Slider: fade visibility of value tooltip<commit_after>/*
 * Copyright (c) 2012 <NAME>
 * Open source under the MIT License.
 * https://raw.github.com/taye/interact-ui/master/LICENSE
 */

$default-slider-height: 30px;

$default-border-width: 3px;
$default-handle-width: 14px;
$default-handle-radius: 4px;

$default-label-radius: 5px;
$default-label-width: 40px;

$default-bar-height: 20px;
$default-bar-radius: 2px;

$blue: blue;
$red: red;
$green: green;

$handle-blue: $blue;
$handle-border-blue: darken($blue, 20%);

$bar-blue: lighten($blue, 20%);
$bar-border-blue: darken($bar-blue, 10%);


.ui-bar {
	background-color: $bar-blue;

	float: left;
	border-radius: $default-bar-radius;
}

.ui-handle,{
    width: 0px;
    height: 0px;

	background-color: $handle-blue;

    border: none;
    border-width: $default-border-width;
    border-color: $handle-border-blue;
    border-radius: $default-handle-radius;
	cursor: pointer;

	position: relative;
}

.ui-handle::before {
    background-color: inherit;

    border: solid $default-border-width;
    border-color: inherit;
    border-radius: inherit;

	position: absolute;
}

// Slider
.ui-slider {
    width: 100%;

    .ui-handle{
        &::before {
            content: "";
        }
        &::after {
            content: attr(value);
            border-radius: $default-label-radius;

            background-color: inherit;
            text-align: center;
            color: white;

            position: absolute;

            transition-property:  opacity;
            transition-duration:  0.15s;
            transition-delay:     0s;
        }
        &:not(:active):not(:hover):not(.interact-dragging) {
            &::after {
                visibility: hidden;
                opacity: 0;

                transition-property:  opacity , visibility;
                transition-duration:  0.15s   , 0s;
                transition-delay:     0s      , 0.15s;
            }
        }
    }
    .ui-container {
        padding: 0;
        margin: 0;
        border: none;
    }
    &.ui-horizontal {
        .ui-container {
            height: $default-slider-height;
            width: 100%;
        }
        .ui-handle {
            &::before {
                top: 0;
                left: -($default-handle-width / 2 + $default-border-width);

                width: $default-handle-width;
                height: $default-slider-height - $default-border-width * 2;
            }
            &::after {
                width: $default-label-width;
                top: -$default-slider-height;
                left: -$default-label-width / 2;
            }
        }
        .ui-bar {
            width: 100%;
            height: $default-bar-height;
            margin: ($default-slider-height - $default-bar-height) / 2 0;
        }
    }
    &.ui-vertical {
        .ui-container {
            height: 200px;
            width:  $default-slider-height;
        }
        .ui-handle {
            &::before {
                left: 0;
                top: -($default-handle-width / 2 + $default-border-width);

                width: $default-slider-height - $default-border-width * 2;
                height: $default-handle-width;
            }
            &::after {
                width: $default-label-width;
                top: -($default-handle-width / 2 + $default-border-width);
                left: $default-slider-height;
            }
        }
        .ui-bar {
            width: $default-bar-height;
            height: 100%;
            margin: 0 ($default-slider-height - $default-bar-height) / 2;
        }
    }
}


// Toggle

.ui-toggle {
    width: 30px;
	height: 30px;
    
    .ui-container {
        padding: 0;
        border: none;
    }
    .ui-handle {
        border-style: solid;
    }
    &.ui-horizontal {
        .ui-container {
    	    height: 30px;
    	    width: 100%;
        }
        .ui-handle {
            top: 0px;
            
            width: 50%;
            height: 24px;
        }
        .ui-bar {
            width: 100%;
            height: 20px;
            margin: 5px 0;
        }
    }
    &.ui-vertical {
        .ui-container {
            height: 100%;
            width: 30px;
        }
        .ui-handle {
            left: 0px;
            
            width: 24px;
            height: 50%;

        }
        .ui-bar {
            width: 20px;
            height: 100%;
            margin: 0 5px;
        }
    }

}

.ui-slider[readonly], .ui-toggle[readonly],
.ui-slider[disabled], .ui-toggle[disabled], {
    .ui-handle {
        background-color: grayscale($handle-blue);
        border-color: grayscale($handle-border-blue);

        &::after {
            display: none;
        }
    }
    .ui-bar {
        background-color: grayscale($bar-blue);
        border-color: #888888;
    }
}

.ui-colorPicker {
    &>.ui-container {
        
        .ui-display {
            width: 20%;
            float:right;
        }
        .ui-slider {
            width: 75%;

            &.red .ui-handle {
                background-color: red;
                border-color: darken(red, 15%);
            }
            &.green .ui-handle {
                background-color: green;
                border-color: darken(green, 15%);
            }
            &.blue .ui-handle {
                background-color: blue;
                border-color: darken(blue, 15%);
            }
        }
    }
}

.ui-float {
    &>.ui-container {
        overflow: hidden;

        &>.ui-handle {
            width: 100%;
            height: 20px;

            border-bottom-left-radius: 0px;
            border-bottom-right-radius: 0px;

            content: attr(title);
            text-align: center;
        }
        &>.ui-content {
            background-color: white;
            color: black;
            overflow: hidden;
        }
    }
}



{'fraction_non_alphanumeric': 0.13631177038532433, 'fraction_numerical': 0.021328886158167297, 'mean_word_length': 1.3055443140428975, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 13, 'https://': 2, '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': '6687101', 'n_tokens_mistral': 3788, 'n_tokens_neox': 3443, 'n_words': 658}