Commit 1d90c72f authored by Frederik F's avatar Frederik F

Menu border-radius and bos-shadow changes

- introduce $menu_radius
- use it for menus and context-menus
- use the popover box-shadow also for menus
- use padding for menus to avoid edge overlapping
- remove the background for menus to avoid bleeding out of the round edges
parent 9b9b15c1
Pipeline #44557 passed with stage
in 8 minutes and 19 seconds