From 1be07dd7dd5032cc7b4e90a4e0fc0432ccda67a6 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Tue, 22 Jun 2010 01:06:58 +0200
Subject: Documentation tweaks.

---
 doc/geiser.css | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

(limited to 'doc/geiser.css')

diff --git a/doc/geiser.css b/doc/geiser.css
index bdb2c6a..96f1801 100644
--- a/doc/geiser.css
+++ b/doc/geiser.css
@@ -62,4 +62,19 @@ ul {
 
 div.navigation {
     background-color: #efebe7;
-}
\ No newline at end of file
+    line-height: 100%;
+    top-margin: 5px;
+    padding: 3px;
+    /* background-color: #000000; */
+    /* border-top-style: solid; */
+    /* border-bottom-style: solid; */
+    /* border-width: 0px; */
+    /* border-top-width: 4px; */
+    /* border-color: rgb(200, 200, 200); */
+}
+
+.navlink {
+    text-decoration: none;
+    /* color: white; */
+}
+
-- 
cgit v1.2.3