[gnome-documents] notifications: Remove unnecessary margins

[Debarshi Ray <debarshir src gnome org>]

commit 3db9717158934492df2f28e74626de230f4761b7
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Wed Mar 16 19:45:06 2016 +0100

    notifications: Remove unnecessary margins
    
    ... and let the theme do its job.

 src/notifications.js |   10 ++--------
 1 files changed, 2 insertions(+), 8 deletions(-)
---
diff --git a/src/notifications.js b/src/notifications.js
index 9db8c5e..32908bf 100644
--- a/src/notifications.js
+++ b/src/notifications.js
@@ -43,9 +43,7 @@ const DeleteNotification = new Lang.Class({
     _init: function(docs) {
         this._docs = docs;
         this.widget = new Gtk.Grid({ orientation: Gtk.Orientation.HORIZONTAL,
-                                     column_spacing: 12,
-                                     margin_start: 12,
-                                     margin_end: 12 });
+                                     column_spacing: 12 });
 
         let msg;
 
@@ -131,9 +129,7 @@ const PrintNotification = new Lang.Class({
 
     _onPrintBegin: function() {
         this.widget = new Gtk.Grid({ orientation: Gtk.Orientation.VERTICAL,
-                                     row_spacing: 6,
-                                     margin_start: 12,
-                                     margin_end: 12});
+                                     row_spacing: 6 });
 
         this._statusLabel = new Gtk.Label();
         this.widget.add(this._statusLabel);
@@ -262,8 +258,6 @@ const IndexingNotification = new Lang.Class({
 
     _buildWidget: function() {
         this.widget = new Gtk.Grid({ orientation: Gtk.Orientation.HORIZONTAL,
-                                     margin_start: 12,
-                                     margin_end: 12,
                                      column_spacing: 12 });
 
         let spinner = new Gtk.Spinner({ width_request: 16,