It was an easy patch, so menus have drop shadows now:

https://movq.de/v/73af48a2d2/s.png

Not that big a difference in the dark theme, though.