ASCII text
1
/* Window Picker */
2
$window_picker_spacing: $base_spacing * 8; // 48px
4
$window_picker_padding: $base_padding * 10; // 60px
5
$window_thumbnail_border_color:transparentize($selected_fg_color, 0.65);
7
$window_close_button_size: 24px;
9
$window_close_button_padding: 3px;
10
// Window picker
13
.window-picker {
14
// Space between window thumbnails
15
-horizontal-spacing: $window_picker_spacing;
16
-vertical-spacing: $window_picker_spacing;
17
// Padding for container around window thumbnails
18
padding: $window_picker_padding;
19
&.external-monitor { padding: $window_picker_padding; }
21
}
22
// Borders on window thumbnails
24
.window-clone-border {
25
border-width: 6px;
26
border-style: solid;
27
border-color: $window_thumbnail_border_color;
28
border-radius: $base_border_radius + 2;
29
// For window decorations with round corners we can't match
30
// the exact shape when the window is scaled. So apply a shadow
31
// to fix that case
32
box-shadow: inset 0 0 0 1px transparentize($borders_color, 0.8);
33
}
34
// Window titles
36
.window-caption {
37
color: $osd_fg_color;
38
background-color: $osd_bg_color;
39
border:1px solid $osd_outer_borders_color;
40
border-radius: $base_border_radius + 1;
41
padding: $base_padding $base_padding * 2;
42
font-weight: bold;
43
@include fontsize($base_font_size + 1);
44
}
45
// Close button
47
.window-close {
48
background-color: $selected_bg_color;
49
color: $selected_fg_color;
50
border: none;
51
border-radius: $window_close_button_size * 0.5 + $window_close_button_padding * 2;
52
padding: $window_close_button_padding;
53
height: $window_close_button_size;
54
width: $window_close_button_size;
55
box-shadow: -1px 1px 5px 0px rgba(0,0,0,0.5);
56
-shell-close-overlap: $window_close_button_size * 0.5;
58
&:hover {
60
background-color: lighten($selected_bg_color, 5%);
61
}
62
&:active {
64
background-color: darken($selected_bg_color, 5%);
65
}
66
}