ASCII text
1
/* Workspace pager */
2
// thumbnails in overview
4
.workspace-thumbnails {
5
visible-width: 32px; // amount visible before hover
6
spacing: 12px;
7
padding: 12px;
8
@if $version >= 40 {
10
.workspace-thumbnail {
11
@extend %overview-panel;
12
border-radius: $corner-radius;
13
}
14
} @else {
15
@extend %overview-panel;
16
border-right-width: 0;
17
border-radius: $corner-radius 0 0 $corner-radius;
18
&:rtl {
20
border-left-width: 0;
21
border-radius: 0 $corner-radius $corner-radius 0;
22
}
23
}
24
// drag and drop indicator
26
.placeholder {
27
background-image: url("assets/dash-placeholder.svg");
28
background-size: contain;
29
@if $version >= 40 {
31
width: 24px;
32
} @else {
33
height: 24px;
34
}
35
}
36
}
37
// selected indicator
39
.workspace-thumbnail-indicator {
40
padding: 6px 10px;
41
border: 0 solid $on-dark;
42
border-radius: 0;
43
@if $version >= 40 {
45
border-bottom-width: 2px;
46
} @else {
47
border-left-width: 2px;
48
}
49
}
50