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