theme: Make Dash background color solid

This is the same color that the Dash currently has, except
it isn't transparent.

The reason for this change is that the app grid coming from
the bottom and passing below the Dash looks odd with the
transparency there.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1593>
This commit is contained in:
Georges Basile Stavracas Neto 2021-01-21 19:02:00 -03:00 committed by Marge Bot
parent 55d85cd55b
commit 0d4eaa6f19

View File

@ -1,11 +1,12 @@
/* Dash */ /* Dash */
$dash_background_color: #3b3b3b;
$dash_placeholder_size: 32px; $dash_placeholder_size: 32px;
$dash_spacing: $base_padding + 4px; $dash_spacing: $base_padding + 4px;
$dash_border_radius: $modal_radius * 1.5; $dash_border_radius: $modal_radius * 1.5;
#dash { #dash {
@extend %overview_panel; background-color: $dash_background_color;
@include fontsize($base_font_size - 2); @include fontsize($base_font_size - 2);
margin: $base_margin * 4 $base_margin * 2; margin: $base_margin * 4 $base_margin * 2;
padding: ($dash_spacing / 2) 0; padding: ($dash_spacing / 2) 0;