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 stroke($on-dark);
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 stroke($on-dark);
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
@if $version <= 3.36 {
41
-shell-close-overlap: $medium-size / 2;
42
}
43
// FIXME: unless disable the transition, button will distort when hovering
45
// transition-duration: $duration;
46
height: $medium-size;
47
width: $medium-size;
48
padding: 0;
49
border: 0;
50
border-radius: 0;
51
box-shadow: none;
52
background-color: transparent;
53
color: transparent;
54
-st-background-image-shadow: $shadow-1;
56
background-image: url("assets/window-close.svg");
57
background-size: $medium-size;
58
&:hover {
60
border-color: transparent;
61
background-color: transparent;
62
color: transparent;
63
-st-background-image-shadow: $shadow-2;
65
background-image: url("assets/window-close.svg");
66
}
67
&:active {
69
border-color: transparent;
70
background-color: transparent;
71
color: transparent;
72
// transition-duration: $duration-ripple;
74
background-image: url("assets/window-close-active.svg");
75
}
76
}
77