Adam Barth ca4b5cf497 Polish drop-down padding
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
2016-04-01 12:58:19 -07:00
..
2016-04-01 12:58:19 -07:00
2016-03-30 09:10:50 -07:00
2016-03-29 19:02:14 -07:00
2016-03-15 09:27:58 -07:00