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

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