ASCII text
1
/* Dash */
2
@use "../../../../theme";
4
@use "../../../../theme-color";
5
@use "../../gnome-shell";
6
@use "overview";
7
$dash-spacing: 6px;
9
$dash-margin: 12px;
10
#dash {
12
font-size: 1em;
13
@if gnome-shell.$version >= 40 {
15
margin-top: 0;
16
padding: $dash-margin $dash-margin 0;
17
.overview-icon {
19
// Same as normal .overview-icon
20
padding: 6px;
21
}
22
} @else {
23
@extend %overview-panel;
24
padding: ($dash-spacing / 2) 0;
25
border-left-width: 0;
26
border-radius: 0 theme.$corner-radius theme.$corner-radius 0;
27
&:rtl {
29
border-right-width: 0;
30
border-radius: theme.$corner-radius 0 0 theme.$corner-radius;
31
}
32
}
33
.placeholder {
35
height: 24px;
36
background-image: url("assets/dash-placeholder.svg");
37
background-size: contain;
38
}
39
.empty-dash-drop-target {
41
width: 24px;
42
height: 24px;
43
}
44
}
45
@if gnome-shell.$version >= 40 {
47
.dash-background {
48
margin-bottom: 0;
49
padding: $dash-spacing ($dash-spacing / 2);
50
border-radius: theme.$corner-radius theme.$corner-radius 0 0;
51
background-color: theme-color.fill(theme-color.$on-dark);
52
}
53
// Dash Items
55
.dash-item-container .app-well-app,
56
.show-apps {
57
padding: $dash-spacing ($dash-spacing / 2);
58
}
59
.dash-separator {
61
width: 1px;
62
margin: $dash-spacing ($dash-spacing / 2);
63
background-color: theme-color.stroke(theme-color.$on-dark);
64
}
65
} @else {
66
// Dash Items
67
.dash-item-container > StWidget {
68
padding: ($dash-spacing / 2) $dash-spacing;
69
}
70
}
71
// OSD Tooltip
73
.dash-label {
74
// min-height: 32px - 6px * 2;
75
padding: 7px 8px;
76
border: 0;
77
border-radius: theme.$corner-radius;
78
box-shadow: theme.$shadow-z4;
79
background-color: theme-color.$surface-z8;
80
color: theme-color.$on-surface;
81
text-align: center;
82
// distance from the dash edge
84
@if gnome-shell.$version >= 40 {
85
-y-offset: 8px;
86
} @else {
87
-x-offset: 8px;
88
}
89
}
90
// Show apps button
92
.show-apps {
93
@extend %overview-icon;
94
color: theme-color.hint(theme-color.$on-dark);
95
&:checked {
97
color: theme-color.$on-dark;
98
}
99
}
100