Revert "Adwaita: remove unneeded margin on dropdown menu"

This reverts commit bb1679b247a8805a9c87a41dcd10a2ae8b2d65d3.
The margin was actually related to:
https://bugzilla.gnome.org/show_bug.cgi?id=591258

diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 65bd2061cce0adffe10ce8d137c25fd6c7050a88..17ba5cb5fe3e4731a7f72747961597a9e39fe10e 100644 (file)
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -1917,6 +1917,7 @@ menubar,
 menu,
 .menu,
 .context-menu {
+  margin: 4px;
   padding: 2px 0px;
   background-color: $menu_color;
   border: 1px solid $borders_color; // adds borders in a non composited env