<commit_before>/* Layout helpers
   ========================================================================== */

/**
 * Hide jQuery UI elements.
 */

.ui-helper-hidden {
    display: none;
}

/**
 * Hide jQuery UI text but still allow screen reader access.
 */

.ui-helper-hidden-accessible {
    position: absolute;
    width: 1px;
    height: 1px;
    margin: -1px;
    padding: 0;
    border: 0;
    white-space: nowrap;
    overflow: hidden;
    clip: rect(0 0 0 0); // TODO: Deprecated - use `clip-path` when browser support is better.
    //clip-path: inset(50%); // TODO: Currently causes severe performance issues in Chrome.
}

/**
 * Normalize various rules to avoid style inheritance.
 */

.ui-helper-reset {
    margin: 0;
    padding: 0;
    border: 0;
    outline: 0;
    font-size: 1rem;
    line-height: $line-height-mobile;
    list-style: none;
    text-decoration: none;
}

/**
 * Clearfix jQuery UI elements.
 */

.ui-helper-clearfix::after {
    display: table;
    clear: both;
    border-collapse: collapse;
    content: "";
}

/**
 * Normalize absolute positioning of jQuery UI elements to avoid misplacement.
 */

.ui-helper-zfix {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    opacity: 0;
}

/**
 * Make jQuery UI elements show above other elements.
 */

.ui-front {
    z-index: 100;
}


/* Component containers
   ========================================================================== */

/**
 * Normalize font size of nested jQuery UI widgets to avoid style inheritance.
 */

.ui-widget .ui-widget {
    font-size: 1rem;
}

/**
 * General style for jQuery widget content.
 */

.ui-widget-content {
    border: 1px solid $color-border;
    background-color: $color-background;
}

@media (prefers-color-scheme: dark) {
    .ui-widget-content {
        border-color: $dark-color-border;
        background-color: $dark-color-background;
    }
}

/**
 * General style for jQuery widget headers.
 */

.ui-widget-header {
    @include gradient-linear($color-gradient-from, $color-gradient-to);

    font-weight: bold;
}

@media (prefers-color-scheme: dark) {
    .ui-widget-header {
        @include gradient-linear($dark-color-gradient-to, $dark-color-gradient-from);
    }
}


/* Interaction states
   ========================================================================== */

/**
 * Default jQuery UI widget interaction state.
 */

.ui-state-default {
    border: 1px solid $color-border;
    background-color: shade($color-background-box, 4%);
    color: $color-text;
}

@media (prefers-color-scheme: dark) {
    .ui-state-default {
        border-color: $dark-color-border;
        background-color: tint($dark-color-background-box, 5%);
        color: $dark-color-text;
    }
}

/**
 * Override hover/focus states for anchors in certain situations.
 */

a.ui-state-default:hover,
a.ui-state-default:focus {
    color: $color-text;
    text-decoration: none;
}

@media (prefers-color-scheme: dark) {
    a.ui-state-default:hover,
    a.ui-state-default:focus {
        color: $dark-color-text;
    }
}

/**
 * Hover jQuery UI widget interaction states.
 */

.ui-state-hover {
    border-color: shade($color-border, 15%);
    background-color: $color-background-box;
}

@media (prefers-color-scheme: dark) {
    .ui-state-hover {
        border-color: tint($dark-color-border, 15%);
        background-color: $dark-color-background-box;
    }
}

/**
 * Focus jQuery UI widget interaction states.
 */

.ui-state-focus {
    border-color: $color-link-focus;
    outline: 0;

    a {
        outline: 0;
    }
}

@media (prefers-color-scheme: dark) {
    .ui-state-focus {
        border-color: $dark-color-link-focus;
    }
}

/**
 * Active jQuery UI widget interaction state.
 */

.ui-state-active {
    background-color: tint($color-background-box, 4%);
}

@media (prefers-color-scheme: dark) {
    .ui-state-active {
        background-color: shade($dark-color-background-box, 4%);
    }
}

/**
 * Highlight colour for jQuery UI widgets currently in 'selecting' state.
 */

.ui-selecting {
    background-color: $color-selecting;
}

@media (prefers-color-scheme: dark) {
    .ui-selecting {
        background-color: $dark-color-selecting;
    }
}

/**
 * Highlight colour for jQuery UI widgets currently in 'selected' state.
 */

.ui-selected {
    background-color: $color-selected;
}
<commit_msg>Consistency<commit_after>/* Layout helpers
   ========================================================================== */

/**
 * Hide jQuery UI elements.
 */

.ui-helper-hidden {
    display: none;
}

/**
 * Hide jQuery UI text but still allow screen reader access.
 */

.ui-helper-hidden-accessible {
    position: absolute;
    width: 1px;
    height: 1px;
    margin: -1px;
    padding: 0;
    border: 0;
    white-space: nowrap;
    overflow: hidden;
    clip: rect(0 0 0 0); // TODO: Deprecated - use `clip-path` when browser support is better.
    //clip-path: inset(50%); // TODO: Currently causes severe performance issues in Chrome.
}

/**
 * Normalize various rules to avoid style inheritance.
 */

.ui-helper-reset {
    margin: 0;
    padding: 0;
    border: 0;
    outline: 0;
    font-size: 1rem;
    line-height: $line-height-mobile;
    list-style: none;
    text-decoration: none;
}

/**
 * Clearfix jQuery UI elements.
 */

.ui-helper-clearfix::after {
    display: table;
    clear: both;
    border-collapse: collapse;
    content: "";
}

/**
 * Normalize absolute positioning of jQuery UI elements to avoid misplacement.
 */

.ui-helper-zfix {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    opacity: 0;
}

/**
 * Make jQuery UI elements show above other elements.
 */

.ui-front {
    z-index: 100;
}


/* Component containers
   ========================================================================== */

/**
 * Normalize font size of nested jQuery UI widgets to avoid style inheritance.
 */

.ui-widget .ui-widget {
    font-size: 1rem;
}

/**
 * General style for jQuery widget content.
 */

.ui-widget-content {
    border: 1px solid $color-border;
    background-color: $color-background;
}

@media (prefers-color-scheme: dark) {
    .ui-widget-content {
        border-color: $dark-color-border;
        background-color: $dark-color-background;
    }
}

/**
 * General style for jQuery widget headers.
 */

.ui-widget-header {
    @include gradient-linear($color-gradient-from, $color-gradient-to);

    font-weight: bold;
}

@media (prefers-color-scheme: dark) {
    .ui-widget-header {
        @include gradient-linear($dark-color-gradient-to, $dark-color-gradient-from);
    }
}


/* Interaction states
   ========================================================================== */

/**
 * Default jQuery UI widget interaction state.
 */

.ui-state-default {
    border: 1px solid $color-border;
    background-color: shade($color-background-box, 4%);
    color: $color-text;
}

@media (prefers-color-scheme: dark) {
    .ui-state-default {
        border-color: $dark-color-border;
        background-color: $dark-color-background-box;
        color: $dark-color-text;
    }
}

/**
 * Override hover/focus states for anchors in certain situations.
 */

a.ui-state-default:hover,
a.ui-state-default:focus {
    color: $color-text;
    text-decoration: none;
}

@media (prefers-color-scheme: dark) {
    a.ui-state-default:hover,
    a.ui-state-default:focus {
        color: $dark-color-text;
    }
}

/**
 * Hover jQuery UI widget interaction states.
 */

.ui-state-hover {
    border-color: shade($color-border, 15%);
    background-color: $color-background-box;
}

@media (prefers-color-scheme: dark) {
    .ui-state-hover {
        border-color: tint($dark-color-border, 15%);
        background-color: tint($dark-color-background-box, 5%);
    }
}

/**
 * Focus jQuery UI widget interaction states.
 */

.ui-state-focus {
    border-color: $color-link-focus;
    outline: 0;

    a {
        outline: 0;
    }
}

@media (prefers-color-scheme: dark) {
    .ui-state-focus {
        border-color: $dark-color-link-focus;
    }
}

/**
 * Active jQuery UI widget interaction state.
 */

.ui-state-active {
    background-color: tint($color-background-box, 4%);
}

@media (prefers-color-scheme: dark) {
    .ui-state-active {
        background-color: $dark-color-gradient-from;
    }
}

/**
 * Highlight colour for jQuery UI widgets currently in 'selecting' state.
 */

.ui-selecting {
    background-color: $color-selecting;
}

@media (prefers-color-scheme: dark) {
    .ui-selecting {
        background-color: $dark-color-selecting;
    }
}

/**
 * Highlight colour for jQuery UI widgets currently in 'selected' state.
 */

.ui-selected {
    background-color: $color-selected;
}

{'fraction_non_alphanumeric': 0.19126058110272248, 'fraction_numerical': 0.009265614275909403, 'mean_word_length': 2.794704861111111, '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': '2969801', 'n_tokens_mistral': 2925, 'n_tokens_neox': 2773, 'n_words': 657}