| 1 | $include-button-highlights: $include-highlights !default;
|
|---|
| 2 | $include-button-uis: $include-default-uis !default;
|
|---|
| 3 | $include-default-button-icons: true !default;
|
|---|
| 4 |
|
|---|
| 5 | $button-arrow-size: 15px !default;
|
|---|
| 6 | $button-split-size: 19px !default;
|
|---|
| 7 |
|
|---|
| 8 | $button-icon-spacing: 4px !default;
|
|---|
| 9 | $button-border-radius: 3px !default;
|
|---|
| 10 | $button-border-width: 1px !default;
|
|---|
| 11 | $button-padding: 3px !default;
|
|---|
| 12 | $button-font-family: $font-family !default;
|
|---|
| 13 | $button-font-weight: bold !default;
|
|---|
| 14 | $button-font-size: $font-size !default;
|
|---|
| 15 | $button-font-weight: normal !default;
|
|---|
| 16 | $button-text-padding: 3px;
|
|---|
| 17 |
|
|---|
| 18 | $button-small-padding: 3px 6px 4px 6px !default;
|
|---|
| 19 | $button-small-text-padding: $button-padding !default;
|
|---|
| 20 | $button-small-icon-size: 16px !default;
|
|---|
| 21 | $button-medium-icon-size: 24px !default;
|
|---|
| 22 | $button-large-icon-size: 32px !default;
|
|---|
| 23 |
|
|---|
| 24 | $button-base-color: darken($base-color, 7%);
|
|---|
| 25 | $button-base-color-over: color-offset($button-base-color, 10%);
|
|---|
| 26 | $button-base-color-pressed: $button-base-color-over;
|
|---|
| 27 | $button-base-color-disabled: $button-base-color;
|
|---|
| 28 |
|
|---|
| 29 | $button-border-color: darken($button-base-color, 20%) !default; // Deprecated
|
|---|
| 30 | $button-border-color-over: darken($button-base-color, 25%) !default; // Deprecated
|
|---|
| 31 | $button-border-color-pressed: darken($button-base-color, 25%) !default; // Deprecated
|
|---|
| 32 | $button-border-color-disabled: $button-border-color !default; // Deprecated
|
|---|
| 33 |
|
|---|
| 34 | $button-background-gradient: $base-gradient !default;
|
|---|
| 35 | $button-background-gradient-over: $base-gradient !default;
|
|---|
| 36 | $button-background-gradient-pressed: $base-gradient !default;
|
|---|
| 37 | $button-background-gradient-disabled: $base-gradient !default;
|
|---|
| 38 |
|
|---|
| 39 | $button-color: color-by-background($button-base-color, 60%) !default; // Deprecated
|
|---|
| 40 | $button-color-disabled: lighten($button-color, 35) !default;
|
|---|
| 41 |
|
|---|
| 42 | /**
|
|---|
| 43 | * Toolbar buttons
|
|---|
| 44 | */
|
|---|
| 45 | $button-toolbar-arrow-size: 15px !default;
|
|---|
| 46 | $button-toolbar-split-size: 17px !default;
|
|---|
| 47 |
|
|---|
| 48 | $button-toolbar-base-color: $mixed-color !default;
|
|---|
| 49 |
|
|---|
| 50 | $button-toolbar-border-color: rgba($button-toolbar-base-color, 0) !default;
|
|---|
| 51 | $button-toolbar-border-color-over: desaturate(darken($button-toolbar-base-color, 15%), 15) !default;
|
|---|
| 52 | $button-toolbar-border-color-pressed: #002D71 !default;
|
|---|
| 53 |
|
|---|
| 54 | $button-toolbar-background-color: rgba($button-toolbar-base-color, 0) !default;
|
|---|
| 55 | $button-toolbar-background-color-over: $button-toolbar-base-color !default;
|
|---|
| 56 | $button-toolbar-background-color-pressed: $base-dark-color !default;
|
|---|
| 57 |
|
|---|
| 58 | $button-toolbar-background-gradient: null !default;
|
|---|
| 59 | $button-toolbar-background-gradient-over: $base-gradient !default;
|
|---|
| 60 | $button-toolbar-background-gradient-pressed: $base-gradient !default;
|
|---|
| 61 |
|
|---|
| 62 | $button-toolbar-font-weight: bold !default;
|
|---|
| 63 | $button-toolbar-font-family: $ui-font-family !default;
|
|---|
| 64 |
|
|---|
| 65 | $button-toolbar-font-size: $font-size-small !default;
|
|---|
