[gnome-documents] Make nav bar a floating overlay

[William Jon McCann <mccann src gnome org>]

commit 0439dba08735a06b1d8757717b8e977d3158d3b7
Author: William Jon McCann <jmccann redhat com>
Date:   Tue Jan 22 15:04:37 2013 -0500

    Make nav bar a floating overlay

 src/preview.js |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/src/preview.js b/src/preview.js
index 5839244..52c8ee2 100644
--- a/src/preview.js
+++ b/src/preview.js
@@ -371,6 +371,8 @@ const PreviewView = new Lang.Class({
 });
 Signals.addSignalMethods(PreviewView.prototype);
 
+const _PREVIEW_NAVBAR_MARGIN = 40;
+
 const PreviewNav = new Lang.Class({
     Name: 'PreviewNav',
 
@@ -388,6 +390,10 @@ const PreviewNav = new Lang.Class({
 
         this.actor = new GtkClutter.Actor({ contents: this.widget,
                                             visible: false,
+                                            margin_top: _PREVIEW_NAVBAR_MARGIN,
+                                            margin_bottom: _PREVIEW_NAVBAR_MARGIN,
+                                            margin_left: _PREVIEW_NAVBAR_MARGIN,
+                                            margin_right: _PREVIEW_NAVBAR_MARGIN,
                                             opacity: 0 });
         Utils.alphaGtkWidget(this.actor.get_widget());