source: branches/testFACT++branch/dim/WebDID/ext-4.1.1a/resources/themes/stylesheets/ext4/default/variables/_button.scss

Last change on this file was 14939, checked in by tbretz, 12 years ago
Added WebDID from v20r5
File size: 8.7 KB
Line 
1$button-arrow-size: 12px !default;
2$button-split-size: 14px !default;
3$button-icon-spacing: 4px !default;
4
5$button-small-border-radius: 3px !default;
6$button-small-border-width: 1px !default;
7$button-small-padding: 2px !default;
8$button-small-text-padding: 4px;
9$button-small-font-size: ceil($font-size * .9) !default; //11px
10$button-small-font-size-over: $button-small-font-size !default;
11$button-small-font-size-focus: $button-small-font-size-over !default;
12$button-small-font-size-pressed: $button-small-font-size !default;
13$button-small-font-size-disabled: $button-small-font-size !default;
14$button-small-font-weight: normal !default;
15$button-small-font-weight-over: $button-small-font-weight !default;
16$button-small-font-weight-focus: $button-small-font-weight-over !default;
17$button-small-font-weight-pressed: $button-small-font-weight !default;
18$button-small-font-weight-disabled: $button-small-font-weight !default;
19$button-small-font-family: $font-family !default;
20$button-small-font-family-over: $button-small-font-family !default;
21$button-small-font-family-focus: $button-small-font-family-over !default;
22$button-small-font-family-pressed: $button-small-font-family !default;
23$button-small-font-family-disabled: $button-small-font-family !default;
24$button-small-icon-size: 16px !default;
25
26$button-medium-border-radius: 3px !default;
27$button-medium-border-width: 1px !default;
28$button-medium-padding: 3px !default;
29$button-medium-text-padding: 3px !default;
30$button-medium-font-size: ceil($font-size * .9) !default; //11px
31$button-medium-font-size-over: $button-medium-font-size !default;
32$button-medium-font-size-focus: $button-medium-font-size-over !default;
33$button-medium-font-size-pressed: $button-medium-font-size !default;
34$button-medium-font-size-disabled: $button-medium-font-size !default;
35$button-medium-font-weight: normal !default;
36$button-medium-font-weight-over: $button-medium-font-weight !default;
37$button-medium-font-weight-focus: $button-medium-font-weight-over !default;
38$button-medium-font-weight-pressed: $button-medium-font-weight !default;
39$button-medium-font-weight-disabled: $button-medium-font-weight !default;
40$button-medium-font-family: $font-family !default;
41$button-medium-font-family-over: $button-medium-font-family !default;
42$button-medium-font-family-focus: $button-medium-font-family-over !default;
43$button-medium-font-family-pressed: $button-medium-font-family !default;
44$button-medium-font-family-disabled: $button-medium-font-family !default;
45$button-medium-icon-size: 24px !default;
46
47$button-large-border-radius: 3px !default;
48$button-large-border-width: 1px !default;
49$button-large-padding: 3px !default;
50$button-large-text-padding: 3px !default;
51$button-large-font-size: ceil($font-size * .9) !default; //11px
52$button-large-font-size-over: $button-large-font-size !default;
53$button-large-font-size-focus: $button-large-font-size-over !default;
54$button-large-font-size-pressed: $button-large-font-size !default;
55$button-large-font-size-disabled: $button-large-font-size !default;
56$button-large-font-weight: normal !default;
57$button-large-font-weight-over: $button-large-font-weight !default;
58$button-large-font-weight-focus: $button-large-font-weight-over !default;
59$button-large-font-weight-pressed: $button-large-font-weight !default;
60$button-large-font-weight-disabled: $button-large-font-weight !default;
61$button-large-font-family: $font-family !default;
62$button-large-font-family-over: $button-large-font-family !default;
63$button-large-font-family-focus: $button-large-font-family-over !default;
64$button-large-font-family-pressed: $button-large-font-family !default;
65$button-large-font-family-disabled: $button-large-font-family !default;
66$button-large-icon-size: 32px !default;
67
68//base colors for the default button
69$button-default-base-color: adjust-color($neutral-color, $hue: 0deg, $saturation: -55.556%, $lightness: 12.745%) !default; //F7F7F7
70$button-default-base-color-over: adjust-color($base-color, $hue: -6.667deg, $saturation: 44.444%, $lightness: 10.588%) !default; //E4F3FF
71$button-default-base-color-focus: $button-default-base-color-over !default;
72$button-default-base-color-pressed: adjust-color($base-color, $hue: -0.725deg, $saturation: -9.556%, $lightness: -3.725%) !default; //B6CBE4
73$button-default-base-color-disabled: adjust-color($base-color, $hue: 0deg, $saturation: -55.556%, $lightness: 12.745%) !default; //F7F7F7
74
75$button-default-border-color: adjust-color($button-default-base-color, $hue: 0deg, $saturation: 0%, $lightness: -18.039%) !default;
76$button-default-border-color-over: adjust-color($button-default-base-color-over, $hue: 8.177deg, $saturation: -28.283%, $lightness: -12.745%) !default;
77$button-default-border-color-focus: $button-default-border-color-over !default;
78$button-default-border-color-pressed: adjust-color($button-default-base-color-pressed, $hue: 2.317deg, $saturation: 6.756%, $lightness: -5.294%) !default;
79$button-default-border-color-disabled: adjust-color($button-default-base-color-disabled, $hue: 0deg, $saturation: 0%, $lightness: -8.627%) !default;
80
81$button-default-background-color: $button-default-base-color !default;
82$button-default-background-color-over: $button-default-base-color-over !default;
83$button-default-background-color-focus: $button-default-background-color-over !default;
84$button-default-background-color-pressed: $button-default-base-color-pressed !default;
85$button-default-background-color-disabled: $button-default-base-color-disabled !default;
86
87$button-default-background-gradient: 'glossy-button' !default;
88$button-default-background-gradient-over: 'glossy-button-over' !default;
89$button-default-background-gradient-focus: $button-default-background-gradient-over !default;
90$button-default-background-gradient-pressed: 'glossy-button-pressed' !default;
91$button-default-background-gradient-disabled: 'glossy-button-disabled' !default;
92
93$button-default-background-gradient-color-stops: null !default;
94$button-default-background-gradient-color-stops-over: $button-default-background-gradient-color-stops !default;
95$button-default-background-gradient-color-stops-focus: $button-default-background-gradient-color-stops-over !default;
96$button-default-background-gradient-color-stops-pressed: $button-default-background-gradient-color-stops !default;
97$button-default-background-gradient-color-stops-disabled: $button-default-background-gradient-color-stops !default;
98
99$button-default-color: #333 !default;
100$button-default-color-over: $button-default-color !default;
101$button-default-color-focus: $button-default-color-over !default;
102$button-default-color-pressed: $button-default-color !default;
103$button-default-color-disabled: lighten($button-default-color, 35) !default;
104
105// Toolbar buttons
106$button-toolbar-arrow-size: 12px !default;
107$button-toolbar-split-size: 12px !default;
108
109$button-toolbar-base-color: adjust-color($base-color, $hue: -213.333deg, $saturation: -55.556%, $lightness: 3.333%) !default;
110
111$button-toolbar-border-color: transparent !default;
112$button-toolbar-border-color-over: adjust-color($base-color, $hue: 0.084deg, $saturation: -9.891%, $lightness: -18.039%) !default;
113$button-toolbar-border-color-focus: $button-toolbar-border-color-over !default;
114$button-toolbar-border-color-pressed: adjust-color($base-color, $hue: 0.721deg, $saturation: -17.014%, $lightness: -21.765%) !default;
115$button-toolbar-border-color-disabled: transparent !default;
116
117$button-toolbar-background-color: transparent !default;
118$button-toolbar-background-color-over: adjust-color($base-color, $hue: -5deg, $saturation: 44.444%, $lightness: 8.824%) !default;
119$button-toolbar-background-color-focus: $button-toolbar-background-color-over !default;
120$button-toolbar-background-color-pressed: adjust-color($base-color, $hue: -1.138deg, $saturation: -11.47%, $lightness: -2.353%) !default;
121$button-toolbar-background-color-disabled: transparent !default;
122
123$button-toolbar-background-gradient: null !default;
124$button-toolbar-background-gradient-over: 'glossy-button-over' !default;
125$button-toolbar-background-gradient-focus: $button-toolbar-background-gradient-over !default;
126$button-toolbar-background-gradient-pressed: 'glossy-button-pressed' !default;
127$button-toolbar-background-gradient-disabled: null !default;
128
129$button-toolbar-background-gradient-color-stops: null !default;
130$button-toolbar-background-gradient-color-stops-over: null !default;
131$button-toolbar-background-gradient-color-stops-focus: $button-toolbar-background-gradient-color-stops-over !default;
132$button-toolbar-background-gradient-color-stops-pressed: null !default;
133$button-toolbar-background-gradient-color-stops-disabled: null !default;
134
135$button-toolbar-color: #333 !default;
136$button-toolbar-color-over: $button-toolbar-color !default;
137$button-toolbar-color-focus: $button-toolbar-color-over !default;
138$button-toolbar-color-pressed: $button-toolbar-color !default;
139$button-toolbar-color-disabled: lighten($button-toolbar-color, 35) !default;
Note: See TracBrowser for help on using the repository browser.