style: Shift dash running indicator dot up a pixel in high contrast mode

With the dot now being placed correctly at the bottom of the hover
highlight it is now also overlapping the 1px inset shadow used as
outline in high contrast mode. To avoid this, shift the dot up
accordingly.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3245>
This commit is contained in:
Sebastian Keller 2024-05-22 02:04:53 +02:00 committed by Florian Müllner
parent 31997fa2f9
commit e2adc5a445

View File

@ -71,7 +71,11 @@ $dash_spacing: $base_margin * 0.5;
// running app dot
.app-grid-running-dot {
// manually position the dot within the dash item
offset-y: -$dash_padding;
@if $contrast == 'high' {
offset-y: -$dash_padding - 1px; // don't draw dot directly on inset
} @else {
offset-y: -$dash_padding;
}
}
}