[gtk+/gtk-3-22] Revert "Adwaita: remove unneeded margin on dropdown menu"

[Lapo Calamandrei <lapo src gnome org>]

commit 3e48a80d85153b20cd317eed4bd870e31d1ed78f
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Tue May 9 13:27:51 2017 +0200

    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

 gtk/theme/Adwaita/_common.scss |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 65bd206..17ba5cb 100644
--- 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