<commit_before>/* Button
   ========================================================================== */

/**
 * jQuery UI Button.
 *
 * Some classes and HTML elements generally added via JavaScript, more info -
 * http://jqueryui.com/button/
 *
 * 1. Correct font size not being inherited in all browsers.
 * 2. Remove iOS Safari default styling.
 * 3. The `overflow` property removes extra width in IE.
 * 4. Improve usability and consistency of cursor style between image-type
 *    `input` and others.
 *
 * Example HTML:
 *
 * <a class="ui-button ui-button-text-only">
 *     <span class="ui-button-text">Button</span>
 * </a>
 */

.ui-button {
    font-size: 100%; /* 1 */
    @include adjust-font-size-to(14px, 0.875);
    @include text-shadow($text-shadow-light);
    @include box-shadow($inset-highlighting);
    @include background-clip;
    @include box-sizing;
    @include gradient-linear($color-gradient-from, $color-gradient-to);
    @include transition(box-shadow 0.1s linear);

    -webkit-appearance: none; /* 2 */
    position: relative;
    display: inline-block;
    overflow: visible; /* 3 */
    margin: 0 0.1em 0 0;
    border: solid 1px $color-gradient-border;
    padding: 0.3571428em 0.7142857em; // 5px / 14px, 10px / 14px
    height: 2.3571428em; // 33px / 14px
    font-family: $font-sans-serif;
    text-align: center;
    vertical-align: baseline;
    color: $color-text;
    cursor: pointer; /* 4 */

    &:hover {
        @include gradient-linear(lighten($color-gradient-from, 4%), lighten($color-gradient-to, 4%));

        border-color: darken($color-gradient-border, 13%);
        text-decoration: none;
    }

    &:active {
        @include box-shadow(inset 0 0.2em 0.25em rgba(#000000, 0.15));
        @include gradient-linear(darken($color-gradient-to, 4%), darken($color-gradient-from, 4%));

        border-color: darken($color-gradient-border, 13%);
        color: darken($color-text, 10%);
    }
}

a.ui-button {
    color: $color-text;
    text-decoration: none;
}

.ui-button.ui-state-focus {
    @include box-shadow($inset-highlighting, 0 0 7px $color-link-hover);

    border-color: $color-link-focus;
    outline: 0;
}

/**
 * Single-icon-only button.
 *
 * To make room for the icon, a width needs to be set here.
 *
 * Example HTML:
 *
 * <a class="ui-button ui-button-icon-only">
 *     <span class="ui-button-icon-primary ui-icon ui-icon-locked"></span>
 *     <span class="ui-button-text">Button one icon, no text</span><commit_msg>Missed a couple of CSS comments<commit_after>/* Button
   ========================================================================== */

/**
 * jQuery UI Button.
 *
 * Some classes and HTML elements generally added via JavaScript, more info -
 * http://jqueryui.com/button/
 *
 * 1. Correct font size not being inherited in all browsers.
 * 2. Remove iOS Safari default styling.
 * 3. The `overflow` property removes extra width in IE.
 * 4. Improve usability and consistency of cursor style between image-type
 *    `input` and others.
 *
 * Example HTML:
 *
 * <a class="ui-button ui-button-text-only">
 *     <span class="ui-button-text">Button</span>
 * </a>
 */

.ui-button {
    font-size: 100%; /* 1 */
    @include adjust-font-size-to(14px, 0.875);
    @include text-shadow($text-shadow-light);
    @include box-shadow($inset-highlighting);
    @include background-clip;
    @include box-sizing;
    @include gradient-linear($color-gradient-from, $color-gradient-to);
    @include transition(box-shadow 0.1s linear);

    -webkit-appearance: none; /* 2 */
    position: relative;
    display: inline-block;
    overflow: visible; /* 3 */
    margin: 0 0.1em 0 0;
    border: solid 1px $color-gradient-border;
    padding: 0.3571428em 0.7142857em; // 5px / 14px, 10px / 14px
    height: 2.3571428em; // 33px / 14px
    font-family: $font-sans-serif;
    text-align: center;
    vertical-align: baseline;
    color: $color-text;
    cursor: pointer; /* 4 */

    &:hover {
        @include gradient-linear(lighten($color-gradient-from, 4%), lighten($color-gradient-to, 4%));

        border-color: darken($color-gradient-border, 13%);
        text-decoration: none;
    }

    &:active {
        @include box-shadow(inset 0 0.2em 0.25em rgba(#000000, 0.15));
        @include gradient-linear(darken($color-gradient-to, 4%), darken($color-gradient-from, 4%));

        border-color: darken($color-gradient-border, 13%);
        color: darken($color-text, 10%);
    }
}

/**
 * Remove some styling from `a` links as buttons.
 */

a.ui-button {
    color: $color-text;
    text-decoration: none;
}

/**
 * Focus styling for buttons.
 */

.ui-button.ui-state-focus {
    @include box-shadow($inset-highlighting, 0 0 7px $color-link-hover);

    border-color: $color-link-focus;
    outline: 0;
}

/**
 * Single-icon-only button.
 *
 * To make room for the icon, a width needs to be set here.
 *
 * Example HTML:
 *
 * <a class="ui-button ui-button-icon-only">
 *     <span class="ui-button-icon-primary ui-icon ui-icon-locked"></span>
 *     <span class="ui-button-text">Button one icon, no text</span>
{'fraction_non_alphanumeric': 0.1802827965435978, 'fraction_numerical': 0.034956794972505895, 'mean_word_length': 2.97890625, 'pattern_counts': {'":': 0, '<': 21, '<?xml version=': 0, '>': 21, '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': '2882112', 'n_tokens_mistral': 1854, 'n_tokens_neox': 1621, 'n_words': 420}