IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
|
|
|
2 | 2 | * Button mixin- creates 3d-ish button effect with correct |
3 | 3 | * highlights/shadows, based on a base color. |
4 | 4 | */ |
5 | | @mixin button( $button-color, $text-color: white ) { |
| 5 | @mixin button($button-color, $text-color: white) { |
6 | 6 | background: $button-color; |
7 | | border-color: darken( $button-color, 10% ); |
| 7 | border-color: darken($button-color, 10%); |
8 | 8 | color: $text-color; |
9 | | -webkit-box-shadow: inset 0 1px 0 lighten( $button-color, 15% ), 0 1px 0 rgba(0,0,0,.15); |
10 | | box-shadow: inset 0 1px 0 lighten( $button-color, 15% ), 0 1px 0 rgba(0,0,0,.15); |
| 9 | -webkit-box-shadow: inset 0 1px 0 lighten($button-color, 15%), 0 1px 0 rgba(0, 0, 0, 0.15); |
| 10 | box-shadow: inset 0 1px 0 lighten($button-color, 15%), 0 1px 0 rgba(0, 0, 0, 0.15); |
11 | 11 | |
12 | 12 | &:hover, |
13 | 13 | &:focus { |
14 | | background: darken( $button-color, 5% ); |
15 | | border-color: darken( $button-color, 15% ); |
| 14 | background: darken($button-color, 5%); |
| 15 | border-color: darken($button-color, 15%); |
16 | 16 | color: $text-color; |
17 | | -webkit-box-shadow: inset 0 1px 0 lighten( $button-color, 10% ), 0 1px 0 rgba(0,0,0,.15); |
18 | | box-shadow: inset 0 1px 0 lighten( $button-color, 10% ), 0 1px 0 rgba(0,0,0,.15); |
| 17 | -webkit-box-shadow: inset 0 1px 0 lighten($button-color, 10%), 0 1px 0 rgba(0, 0, 0, 0.15); |
| 18 | box-shadow: inset 0 1px 0 lighten($button-color, 10%), 0 1px 0 rgba(0, 0, 0, 0.15); |
19 | 19 | } |
20 | 20 | |
21 | 21 | &:active { |
22 | | background: darken( $button-color, 10% ); |
23 | | border-color: darken( $button-color, 15% ); |
| 22 | background: darken($button-color, 10%); |
| 23 | border-color: darken($button-color, 15%); |
24 | 24 | color: $text-color; |
25 | | -webkit-box-shadow: inset 0 2px 5px -3px rgba( 0, 0, 0, 0.5 ); |
26 | | box-shadow: inset 0 2px 5px -3px rgba( 0, 0, 0, 0.5 ); |
| 25 | -webkit-box-shadow: inset 0 2px 5px -3px rgba(0, 0, 0, 0.5); |
| 26 | box-shadow: inset 0 2px 5px -3px rgba(0, 0, 0, 0.5); |
27 | 27 | } |
28 | 28 | |
29 | 29 | &[disabled], |
30 | 30 | &:disabled, |
31 | 31 | &.button-primary-disabled { |
32 | | color: hsl( hue( $button-color ), 10%, 80% ) !important; |
33 | | background: darken( $button-color, 8% ) !important; |
34 | | border-color: darken( $button-color, 15% ) !important; |
| 32 | background: darken($button-color, 8%) !important; |
| 33 | border-color: darken($button-color, 15%) !important; |
| 34 | color: hsl(hue($button-color), 10%, 80%) !important; |
35 | 35 | text-shadow: none !important; |
36 | 36 | } |
37 | 37 | } |