Previously we weren't padding the top and the bottom of drop-down menus but the

spec says these should have 8.0 pixel of padding, the same as popup menus.



Fixes #2683