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