[polari] userList: Drop margin

[Marge Bot <marge-bot src gnome org>]

commit 02112c7fb4bd3e7b2b093ae0b646cd673857b666
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Oct 10 02:17:30 2020 +0200

    userList: Drop margin
    
    In GTK4, the theme already adds appropriate whitespace.
    
    Part-of: <https://gitlab.gnome.org/GNOME/polari/-/merge_requests/235>

 src/userList.js | 4 ----
 1 file changed, 4 deletions(-)
---
diff --git a/src/userList.js b/src/userList.js
index 93cde392..34846b9e 100644
--- a/src/userList.js
+++ b/src/userList.js
@@ -43,10 +43,6 @@ class UserListPopover extends Gtk.Popover {
         this._box = new Gtk.Box({
             orientation: Gtk.Orientation.VERTICAL,
             spacing: 6,
-            margin_start: 6,
-            margin_end: 6,
-            margin_top: 6,
-            margin_bottom: 6,
         });
         this.set_child(this._box);