[polari] userList: Increase right margin of row headers

[Gitlab Administrative User <gitlab src gnome org>]

commit 1f11373a3ccd5fa91464696d6d7283ced4977cfe
Author: Zandr Martin <zandrmartin gmail com>
Date:   Fri Feb 10 15:26:46 2017 -0500

    userList: Increase right margin of row headers
    
    Increase the right margin of the username box so that the overlay
    scrollbars do not cover up part of the arrow.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=728756

 src/userList.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)
---
diff --git a/src/userList.js b/src/userList.js
index aa862f2..6a76c46 100644
--- a/src/userList.js
+++ b/src/userList.js
@@ -473,7 +473,11 @@ var UserListRow = new Lang.Class({
         let vbox = new Gtk.Box({ orientation: Gtk.Orientation.VERTICAL });
         this.add(vbox);
 
-        let hbox = new Gtk.Box({ margin: 4, spacing: 4 });
+        let hbox = new Gtk.Box({ margin_end: 12,
+                                 margin_start: 4,
+                                 margin_top: 4,
+                                 margin_bottom: 4,
+                                 spacing: 4 });
         this._arrow = new Gtk.Arrow({ arrow_type: Gtk.ArrowType.RIGHT,
                                       no_show_all: true });
         this._label = new Gtk.Label({ label: this._user.alias,