summaryrefslogtreecommitdiff
path: root/doc/geiser.css
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2010-12-21 16:15:16 +0100
committerJose Antonio Ortega Ruiz <jao@gnu.org>2010-12-21 16:15:16 +0100
commit43218c8df3687ff1c7fe732947c8a5b7b5155648 (patch)
treec20517aa9b920dc2ae4bcc8c321365368b263b58 /doc/geiser.css
parentbdf896d9b230335a3e3f6988c922baa45f015a98 (diff)
downloadgeiser-43218c8df3687ff1c7fe732947c8a5b7b5155648.tar.gz
geiser-43218c8df3687ff1c7fe732947c8a5b7b5155648.tar.bz2
Documentation helpers
Diffstat (limited to 'doc/geiser.css')
-rw-r--r--doc/geiser.css10
1 files changed, 9 insertions, 1 deletions
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
+}