[gtk-doc] Tweak the style of the top nav bar

[William Jon McCann <mccann src gnome org>]

commit ce1fad13bdde86696cf00356e46ebba3b0c0d08c
Author: William Jon McCann <william jon mccann gmail com>
Date:   Tue Feb 18 18:15:28 2014 -0500

    Tweak the style of the top nav bar

 gtk-doc-single.xsl |    2 +-
 gtk-doc.xsl        |    2 +-
 style/style.css    |    9 +++++++--
 3 files changed, 9 insertions(+), 4 deletions(-)
---
diff --git a/gtk-doc-single.xsl b/gtk-doc-single.xsl
index 21bb8bd..b46d22c 100644
--- a/gtk-doc-single.xsl
+++ b/gtk-doc-single.xsl
@@ -233,7 +233,7 @@ Get a newer version at http://docbook.sourceforge.net/projects/xsl/
 
     <xsl:if test="$suppress.navigation = '0' and $home != .">
       <table class="navigation" id="top" width="100%"
-             summary = "Navigation header" cellpadding="2" cellspacing="10">
+             summary = "Navigation header" cellpadding="2" cellspacing="5">
         <tr valign="middle">
           <td width="100%" align="left" class="shortcuts">
             <!--<xsl:if test="name()='refentry'"-->
diff --git a/gtk-doc.xsl b/gtk-doc.xsl
index b3a9b49..e5d8b57 100644
--- a/gtk-doc.xsl
+++ b/gtk-doc.xsl
@@ -467,7 +467,7 @@ Get a newer version at http://docbook.sourceforge.net/projects/xsl/
 
     <xsl:if test="$suppress.navigation = '0' and $home != .">
       <table class="navigation" id="top" width="100%"
-             summary = "Navigation header" cellpadding="2" cellspacing="10">
+             summary = "Navigation header" cellpadding="2" cellspacing="5">
         <tr valign="middle">
           <td width="100%" align="left" class="shortcuts">
             <!--<xsl:if test="name()='refentry'"-->
diff --git a/style/style.css b/style/style.css
index 7d9a76a..4e53f78 100644
--- a/style/style.css
+++ b/style/style.css
@@ -53,7 +53,7 @@ body
    */
   body
   {
-    padding-top: 5em;
+    padding-top: 2.5em;
     padding-bottom: 500px;
     max-width: 60em;
   }
@@ -67,13 +67,18 @@ body
     position: fixed;
     background: #e2e2e2;
     border-bottom: solid 1px #babdb6;
+    border-spacing: 5px;
     margin-top: 0;
     margin-bottom: 0;
     top: 0;
     left: 0;
-    height: 3em;
     z-index: 10;
   }
+  table.navigation#top td
+  {
+    padding-left: 6px;
+    padding-right: 6px;
+  }
   .navigation a, .navigation a:visited
   {
     /* tango:sky blue 3 */