style: Change lg border radius so it doesn't look cut off in Overview

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2823>
This commit is contained in:
Sam Hewitt 2023-07-18 10:34:05 -02:30 committed by Marge Bot
parent 33af4d1a5b
commit fd417420e8

View File

@ -7,8 +7,8 @@
background-color: transparentize($osd_bg_color,0.02); background-color: transparentize($osd_bg_color,0.02);
color: $osd_fg_color; color: $osd_fg_color;
border-radius: 0 0 $modal_radius $modal_radius; border-radius: $modal_radius;
margin-top: $base_margin;
border-top-width: 0; border-top-width: 0;
padding: $base_padding; padding: $base_padding;
spacing: $base_padding; spacing: $base_padding;