File: web/bundles/extjs/resources/theme-bootstrap/theme/stylesheets/bootstrap/default/variables/_button.scss

$button-arrow-size: 12px !default;
$button-split-size: 14px !default;
$button-icon-spacing: 4px !default;

$button-small-border-radius: 4px !default;
$button-small-border-width: 1px !default;
$button-small-padding: 3px 9px !default;
$button-small-text-padding: 4px;
$button-small-font-size: $baseFontSize - 2 !default; //11px
$button-small-font-size-over: $button-small-font-size !default;
$button-small-font-size-focus: $button-small-font-size-over !default;
$button-small-font-size-pressed: $button-small-font-size !default;
$button-small-font-size-disabled: $button-small-font-size !default;
$button-small-font-weight: normal !default;
$button-small-font-weight-over: $button-small-font-weight !default;
$button-small-font-weight-focus: $button-small-font-weight-over !default;
$button-small-font-weight-pressed: $button-small-font-weight !default;
$button-small-font-weight-disabled: $button-small-font-weight !default;
$button-small-font-family: $font-family !default;
$button-small-font-family-over: $button-small-font-family !default;
$button-small-font-family-focus: $button-small-font-family-over !default;
$button-small-font-family-pressed: $button-small-font-family !default;
$button-small-font-family-disabled: $button-small-font-family !default;
$button-small-icon-size: 16px !default;

$button-medium-border-radius: 4px !default;
$button-medium-border-width: 1px !default;
$button-medium-padding: 4px 14px !default;
$button-medium-text-padding: 3px !default;
$button-medium-font-size: $baseFontSize !default; //11px
$button-medium-font-size-over: $button-medium-font-size !default;
$button-medium-font-size-focus: $button-medium-font-size-over !default;
$button-medium-font-size-pressed: $button-medium-font-size !default;
$button-medium-font-size-disabled: $button-medium-font-size !default;
$button-medium-font-weight: normal !default;
$button-medium-font-weight-over: $button-medium-font-weight !default;
$button-medium-font-weight-focus: $button-medium-font-weight-over !default;
$button-medium-font-weight-pressed: $button-medium-font-weight !default;
$button-medium-font-weight-disabled: $button-medium-font-weight !default;
$button-medium-font-family: $font-family !default;
$button-medium-font-family-over: $button-medium-font-family !default;
$button-medium-font-family-focus: $button-medium-font-family-over !default;
$button-medium-font-family-pressed: $button-medium-font-family !default;
$button-medium-font-family-disabled: $button-medium-font-family !default;
$button-medium-icon-size: 24px !default;

$button-large-border-radius: 4px !default;
$button-large-border-width: 1px !default;
$button-large-padding: 9px 14px !default;
$button-large-text-padding: 3px !default;
$button-large-font-size: $font-size + 2 !default; //11px
$button-large-font-size-over: $button-large-font-size !default;
$button-large-font-size-focus: $button-large-font-size-over !default;
$button-large-font-size-pressed: $button-large-font-size !default;
$button-large-font-size-disabled: $button-large-font-size !default;
$button-large-font-weight: normal !default;
$button-large-font-weight-over: $button-large-font-weight !default;
$button-large-font-weight-focus: $button-large-font-weight-over !default;
$button-large-font-weight-pressed: $button-large-font-weight !default;
$button-large-font-weight-disabled: $button-large-font-weight !default;
$button-large-font-family: $font-family !default;
$button-large-font-family-over: $button-large-font-family !default;
$button-large-font-family-focus: $button-large-font-family-over !default;
$button-large-font-family-pressed: $button-large-font-family !default;
$button-large-font-family-disabled: $button-large-font-family !default;
$button-large-icon-size: 32px !default;

//base colors for the default button
$button-default-base-color: $btnBackgroundHighlight !default; //F7F7F7
$button-default-base-color-over: $button-default-base-color !default; //E4F3FF
$button-default-base-color-focus: $button-default-base-color !default;
$button-default-base-color-pressed: $button-default-base-color !default; //B6CBE4
$button-default-base-color-disabled: $button-default-base-color !default; //F7F7F7

$button-default-border-color: $btnBorder !default;
$button-default-border-color-over: $button-default-border-color !default;
$button-default-border-color-focus: $button-default-border-color !default;
$button-default-border-color-pressed: $button-default-border-color !default;
$button-default-border-color-disabled: $button-default-border-color !default;

$button-default-background-color: $button-default-base-color !default;
$button-default-background-color-over: $button-default-base-color-over !default;
$button-default-background-color-focus: $button-default-background-color-over !default;
$button-default-background-color-pressed: $button-default-base-color-pressed !default;
$button-default-background-color-disabled: $button-default-base-color-disabled !default;

$button-default-background-gradient: 'button-default' !default;
$button-default-background-gradient-over: $button-default-background-gradient !default;
$button-default-background-gradient-focus: $button-default-background-gradient !default;
$button-default-background-gradient-pressed: $button-default-background-gradient !default;
$button-default-background-gradient-disabled: $button-default-background-gradient !default;

$button-default-color: $grayDark !default;
$button-default-color-over: $button-default-color !default;
$button-default-color-focus: $button-default-color !default;
$button-default-color-pressed: $button-default-color !default;
$button-default-color-disabled: $button-default-color !default;

$button-default-shadow: 0 -1px 0 rgba(255,255,255,.75) !default;
$button-default-shadow-over: $button-default-shadow !default;
$button-default-shadow-focus: $button-default-shadow !default;
$button-default-shadow-pressed: $button-default-shadow !default;
$button-default-shadow-disabled: $button-default-shadow !default;

// Toolbar buttons
$button-toolbar-arrow-size: 12px !default;
$button-toolbar-split-size: 12px !default;

$button-toolbar-base-color: $btnBackground !default;

$button-toolbar-border-color: transparent !default;
$button-toolbar-border-color-over: $button-toolbar-border-color !default;
$button-toolbar-border-color-focus: $button-toolbar-border-color !default;
$button-toolbar-border-color-pressed: $button-toolbar-border-color !default;
$button-toolbar-border-color-disabled: transparent !default;

$button-toolbar-background-color: transparent !default;
$button-toolbar-background-color-over: $button-toolbar-background-color !default;
$button-toolbar-background-color-focus: $button-toolbar-background-color !default;
$button-toolbar-background-color-pressed: $button-toolbar-background-color !default;
$button-toolbar-background-color-disabled: transparent !default;

$button-toolbar-background-gradient: 'button-default' !default;
$button-toolbar-background-gradient-over: $button-toolbar-background-gradient !default;
$button-toolbar-background-gradient-focus: $button-toolbar-background-gradient !default;
$button-toolbar-background-gradient-pressed: $button-toolbar-background-gradient !default;
$button-toolbar-background-gradient-disabled: $button-toolbar-background-gradient !default;

$button-toolbar-color: $grayDark !default;
$button-toolbar-color-over: $button-toolbar-color !default;
$button-toolbar-color-focus: $button-toolbar-color !default;
$button-toolbar-color-pressed: $button-toolbar-color !default;
$button-toolbar-color-disabled: $button-toolbar-color !default;

$button-toolbar-shadow: 0 -1px 0 rgba(255,255,255,.75) !default;
$button-toolbar-shadow-over: $button-toolbar-shadow !default;
$button-toolbar-shadow-focus: $button-toolbar-shadow !default;
$button-toolbar-shadow-pressed: $button-toolbar-shadow !default;
$button-toolbar-shadow-disabled: $button-toolbar-shadow !default;