ASCII text
1
/* Workspace pager */
2
// thumbnails in overview
4
.workspace-thumbnails {
5
@extend %overview_panel;
6
visible-width: 32px; //amount visible before hover
7
spacing: $base_spacing;
8
padding: $base_padding;
9
border-radius: $modal_radius 0 0 $modal_radius;
11
border-right-width: 0;
12
&:rtl {
14
border-radius: 0 $modal_radius $modal_radius 0;
15
border-left-width: 0;
16
}
17
// drag and drop indicator
19
.placeholder {
20
background-image: url("resource:///org/gnome/shell/theme/dash-placeholder.svg");
21
background-size: contain;
22
height: 24px;
23
}
24
}
25
// selected indicator
27
.workspace-thumbnail-indicator {
28
border: 3px solid $selected_bg_color;
29
border-radius: 3px;
30
padding: 0px;
31
// background-color: transparentize($selected_bg_color, 0.9);
32
}
33