From 43218c8df3687ff1c7fe732947c8a5b7b5155648 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Tue, 21 Dec 2010 16:15:16 +0100
Subject: Documentation helpers

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

(limited to 'doc/geiser.css')

diff --git a/doc/geiser.css b/doc/geiser.css
index d05f909..4476344 100644
--- a/doc/geiser.css
+++ b/doc/geiser.css
@@ -91,6 +91,14 @@ div.navigation {
     /* border-color: rgb(200, 200, 200); */
 }
 
+div.version {
+    background-color: #efebe7;
+    line-height: 100%;
+    padding: 3px;
+    top-margin: 5px;
+    font-size: smaller;
+}
+
 .navlink {
     text-decoration: none;
     /* color: white; */
@@ -99,4 +107,4 @@ div.navigation {
 .index-cp {
     line-height:120%;
     font-size: smaller;
-}
\ No newline at end of file
+}
-- 
cgit v1.2.3