[gnome-documents] toolbar: set some margins on the side container elements

[Cosimo Cecchi <cosimoc src gnome org>]

commit f58ba26015266fe542b056cdbcef8dd32f2da753
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Mon Nov 21 10:31:42 2011 -0500

    toolbar: set some margins on the side container elements
    
    When there's not enough space to display the toolbar in its natural
    size, we still want some space around the left/right areas, so set a
    12px margin.

 src/mainToolbar.js |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/mainToolbar.js b/src/mainToolbar.js
index bb3fb82..e17d4f5 100644
--- a/src/mainToolbar.js
+++ b/src/mainToolbar.js
@@ -54,14 +54,14 @@ MainToolbar.prototype = {
         this.widget.get_style_context().add_class(Gtk.STYLE_CLASS_MENUBAR);
         this.widget.show();
 
-        this._leftGroup = new Gtk.ToolItem();
+        this._leftGroup = new Gtk.ToolItem({ margin_right: 12 });
         this.widget.insert(this._leftGroup, -1);
 
         this._centerGroup = new Gtk.ToolItem();
         this._centerGroup.set_expand(true);
         this.widget.insert(this._centerGroup, -1);
 
-        this._rightGroup = new Gtk.ToolItem();
+        this._rightGroup = new Gtk.ToolItem({ margin_left: 12 });
         this.widget.insert(this._rightGroup, -1);
 
         this._sizeGroup = new Gtk.SizeGroup();