ASCII text
1
/* Window Picker */
2
// Window picker
4
.window-picker {
5
// Space between window thumbnails
6
-horizontal-spacing: 16px;
7
-vertical-spacing: 16px;
8
// Padding for container around window thumbnails
9
padding: 0 16px 32px;
10
&.external-monitor {
12
padding: 16px;
13
}
14
}
15
// Borders on window thumbnails
17
.window-clone-border {
18
border: 4px solid on(dark, stroke);
19
border-radius: $corner-radius;
20
// For window decorations with round corners we can't match
21
// the exact shape when the window is scaled. So apply a shadow
22
// to fix that case
23
box-shadow: inset 0 0 0 1px on(dark, stroke);
24
}
25
// Window titles
27
.window-caption {
28
spacing: 0;
29
padding: 4px 8px;
30
border: 0;
31
border-radius: $corner-radius;
32
background-color: $scrim;
33
color: on($scrim);
34
font-size: 1em;
35
font-weight: normal;
36
}
37
// Close button
39
.window-close {
40
-shell-close-overlap: $medium-size / 2;
41
// FIXME: unless disable the transition, button will distort when hovering
42
// transition-duration: $duration;
43
height: $medium-size;
44
width: $medium-size;
45
padding: 0;
46
border: 0;
47
border-radius: 0;
48
box-shadow: none;
49
background-color: transparent;
50
color: transparent;
51
-st-background-image-shadow: $shadow-1;
53
background-image: url("assets/window-close.svg");
54
background-size: $medium-size;
55
&:hover {
57
border-color: transparent;
58
background-color: transparent;
59
color: transparent;
60
-st-background-image-shadow: $shadow-2;
62
background-image: url("assets/window-close.svg");
63
}
64
&:active {
66
border-color: transparent;
67
background-color: transparent;
68
color: transparent;
69
// transition-duration: $duration-ripple;
71
background-image: url("assets/window-close-active.svg");
72
}
73
}
74