2019-12-18 16:25:03 -05:00
|
|
|
/* Dash */
|
|
|
|
|
2022-10-13 14:21:17 -02:30
|
|
|
// uses system colors
|
|
|
|
$dash_background_color: $system_overlay_bg_color;
|
|
|
|
|
2019-12-18 16:25:03 -05:00
|
|
|
$dash_placeholder_size: 32px;
|
2023-11-14 10:30:45 -03:30
|
|
|
$dash_padding: $base_padding * 1.5;
|
|
|
|
$dash_edge_offset: $base_margin * 3;
|
2022-02-07 14:52:40 -03:30
|
|
|
$dash_border_radius: $modal_radius + $dash_padding;
|
2021-02-04 18:27:30 +01:00
|
|
|
|
2021-12-28 10:16:54 -03:30
|
|
|
// container for the dash
|
2019-12-18 16:25:03 -05:00
|
|
|
#dash {
|
2023-11-14 10:30:45 -03:30
|
|
|
margin-top: $dash_edge_offset;
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
// background behind item container
|
|
|
|
.dash-background {
|
|
|
|
background-color: $dash_background_color;
|
|
|
|
border-radius: $dash_border_radius;
|
|
|
|
border: 2px solid transparent;
|
|
|
|
padding: $dash_padding * 2 $dash_padding; // padding is uneven
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
@if $is_highcontrast {
|
|
|
|
border-color: $hc_inset_color;
|
|
|
|
}
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
// items on the dash
|
|
|
|
.dash-item-container {
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
.placeholder {
|
|
|
|
// background-image: url("resource:///org/gnome/shell/theme/dash-placeholder.svg");
|
|
|
|
background-image: none;
|
|
|
|
background-size: contain;
|
|
|
|
height: $dash_placeholder_size;
|
|
|
|
}
|
2022-11-03 12:58:24 -02:30
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
.empty-dash-drop-target {
|
|
|
|
width: $dash_placeholder_size;
|
|
|
|
height: $dash_placeholder_size;
|
|
|
|
}
|
|
|
|
|
|
|
|
// app icons
|
|
|
|
.overview-tile {
|
|
|
|
// inherits styles from _app-grid.css
|
|
|
|
}
|
2021-02-09 19:57:55 +01:00
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
// button to show app grid
|
|
|
|
.show-apps {
|
|
|
|
@include tile_button($system_fg_color);
|
|
|
|
}
|
2022-02-15 12:30:51 -03:30
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
.show-apps, .overview-tile {
|
|
|
|
margin: $base_margin * 0.5;
|
|
|
|
padding: $base_padding;
|
|
|
|
border-radius: $base_border_radius * 2;}
|
2021-12-28 10:16:54 -03:30
|
|
|
}
|
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
// separator between pinned and running apps
|
|
|
|
.dash-separator {
|
|
|
|
width: 1px;
|
|
|
|
margin-left:$base_margin;
|
|
|
|
margin-right:$base_margin;
|
|
|
|
background-color: $system_borders_color;
|
2022-02-15 12:30:51 -03:30
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
@if $is_highcontrast {
|
|
|
|
width: 2px;
|
|
|
|
background-color: $hc_inset_color;
|
|
|
|
}
|
2022-02-15 12:30:51 -03:30
|
|
|
}
|
2021-02-04 18:27:30 +01:00
|
|
|
|
2023-11-14 10:30:45 -03:30
|
|
|
// make sure all dash components have same margin from screen edge
|
|
|
|
.dash-separator,
|
|
|
|
.dash-background,
|
|
|
|
.dash-item-container {
|
|
|
|
margin-bottom: $dash_edge_offset;
|
2022-11-03 12:58:24 -02:30
|
|
|
}
|
2021-01-28 23:24:44 +01:00
|
|
|
}
|
|
|
|
|
2019-12-18 16:25:03 -05:00
|
|
|
// OSD Tooltip
|
|
|
|
.dash-label {
|
2022-11-03 12:58:24 -02:30
|
|
|
@extend %tooltip;
|
2021-12-28 10:16:54 -03:30
|
|
|
-y-offset: $base_margin * 2; // distance from the dash edge
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|