[gnome-documents] gd-nav-bar: Remove unneded margins and border

[Debarshi Ray <debarshir src gnome org>]

commit 2bc1b0745cdafa81d2d873fbbb8c6d9b5b1f9b10
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Wed Mar 16 17:07:21 2016 +0100

    gd-nav-bar: Remove unneded margins and border
    
    ... and let the theme do its job.

 src/lib/gd-nav-bar.c |    3 ---
 1 files changed, 0 insertions(+), 3 deletions(-)
---
diff --git a/src/lib/gd-nav-bar.c b/src/lib/gd-nav-bar.c
index 8c93b51..7552966 100644
--- a/src/lib/gd-nav-bar.c
+++ b/src/lib/gd-nav-bar.c
@@ -1041,15 +1041,12 @@ gd_nav_bar_init (GdNavBar *self)
                                                      (GDestroyNotify)cairo_surface_destroy);
 
         inner_box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 5);
-        gtk_container_set_border_width (GTK_CONTAINER (inner_box), 10);
         gtk_box_set_spacing (GTK_BOX (inner_box), 10);
         gtk_widget_show (inner_box);
         gtk_widget_set_hexpand (GTK_WIDGET (inner_box), TRUE);
         gtk_container_add (GTK_CONTAINER (self), inner_box);
 
         priv->button_area = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
-        gtk_widget_set_margin_start (priv->button_area, 5);
-        gtk_widget_set_margin_end (priv->button_area, 5);
         gtk_widget_show (priv->button_area);
         gtk_box_pack_start (GTK_BOX (inner_box), priv->button_area, FALSE, FALSE, 0);