<commit_before>// Button variants
//
// Easily pump out default styles, as well as :hover, :focus, :active,
// and disabled options for all buttons
// Boosted mod : add default color, disable-background, disabled-border and disabled-color option
@mixin button-variant($background, $border, $hover-background: darken($background, 7.5%), $hover-border: darken($border, 10%), $active-background: darken($background, 10%), $active-border: darken($border, 12.5%), $disabled-background: $background, $disabled-border: $border, $disabled-color: color-yiq($background), $color: color-yiq($background)) {
  color: $color; // Boosted mod: allowing white on Orange…
  @include gradient-bg($background);
  border-color: $border;
  @include box-shadow($btn-box-shadow);

  // Boosted mod: replace hover by hover+focus because we remove box-shadow
  &:hover,
  &:focus,
  &.focus {
    color: color-yiq($hover-background);
    @include gradient-bg($hover-background);
    border-color: $hover-border;
    outline-color: $hover-border;
  }
  // end mod

  // Disabled comes first so active can properly restyle
  &.disabled,
  &:disabled {
    // Boosted mod: disabled theming with new variables
    color: $disabled-color;
    background-color: $disabled-background;
    border-color: $disabled-border;
    // end mod
    // Remove CSS gradients if they're enabled
    @if $enable-gradients {
      background-image: none;
    }
  }

  &:not(:disabled):not(.disabled):active,
  &:not(:disabled):not(.disabled).active,
  .show > &.dropdown-toggle {
    color: color-yiq($active-background);
    background-color: $active-background;
    @if $enable-gradients {
      background-image: none; // Remove the gradient for the pressed/active state
    }
    border-color: $active-border;
  }

  // Boosted mod: ensure focus visibility on active state
  &:not(:disabled):not(.disabled).active {
    &:focus,
    &.focus {
      color: color-yiq($hover-background);
      @include gradient-bg($hover-background);
      border-color: $hover-border;
      outline-color: $hover-border;
    }
  }
  // end mod
}

// Boosted mod: button-outline not allowed by Orange brand's buttons stencil

// Button sizes
@mixin button-size($padding-y, $padding-x, $font-size, $line-height, $border-radius) {
  padding: $padding-y $padding-x;
  @include font-size($font-size);
  line-height: $line-height;
  // Manually declare to provide an override to the browser default
  @include border-radius($border-radius, 0);
}
<commit_msg>feat(buttons): move labels 1px up ↑<commit_after>// Button variants
//
// Easily pump out default styles, as well as :hover, :focus, :active,
// and disabled options for all buttons
// Boosted mod : add default color, disable-background, disabled-border and disabled-color option
@mixin button-variant($background, $border, $hover-background: darken($background, 7.5%), $hover-border: darken($border, 10%), $active-background: darken($background, 10%), $active-border: darken($border, 12.5%), $disabled-background: $background, $disabled-border: $border, $disabled-color: color-yiq($background), $color: color-yiq($background)) {
  color: $color; // Boosted mod: allowing white on Orange…
  @include gradient-bg($background);
  border-color: $border;
  @include box-shadow($btn-box-shadow);

  // Boosted mod: replace hover by hover+focus because we remove box-shadow
  &:hover,
  &:focus,
  &.focus {
    color: color-yiq($hover-background);
    @include gradient-bg($hover-background);
    border-color: $hover-border;
    outline-color: $hover-border;
  }
  // end mod

  // Disabled comes first so active can properly restyle
  &.disabled,
  &:disabled {
    // Boosted mod: disabled theming with new variables
    color: $disabled-color;
    background-color: $disabled-background;
    border-color: $disabled-border;
    // end mod
    // Remove CSS gradients if they're enabled
    @if $enable-gradients {
      background-image: none;
    }
  }

  &:not(:disabled):not(.disabled):active,
  &:not(:disabled):not(.disabled).active,
  .show > &.dropdown-toggle {
    color: color-yiq($active-background);
    background-color: $active-background;
    @if $enable-gradients {
      background-image: none; // Remove the gradient for the pressed/active state
    }
    border-color: $active-border;
  }

  // Boosted mod: ensure focus visibility on active state
  &:not(:disabled):not(.disabled).active {
    &:focus,
    &.focus {
      color: color-yiq($hover-background);
      @include gradient-bg($hover-background);
      border-color: $hover-border;
      outline-color: $hover-border;
    }
  }
  // end mod
}

// Boosted mod: button-outline not allowed by Orange brand's buttons stencil

// Button sizes
@mixin button-size($padding-y, $padding-x, $font-size, $line-height, $border-radius) {
  padding: subtract($padding-y, 1px) $padding-x add($padding-y, 1px);
  @include font-size($font-size);
  line-height: $line-height;
  // Manually declare to provide an override to the browser default
  @include border-radius($border-radius, 0);
}

{'fraction_non_alphanumeric': 0.14631245043616178, 'fraction_numerical': 0.004559873116574148, 'mean_word_length': 3.6886617100371746, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '208413', 'n_tokens_mistral': 1588, 'n_tokens_neox': 1528, 'n_words': 418}