diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-21 16:15:16 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-21 16:15:16 +0100 |
| commit | 43218c8df3687ff1c7fe732947c8a5b7b5155648 (patch) | |
| tree | c20517aa9b920dc2ae4bcc8c321365368b263b58 /doc/geiser.css | |
| parent | bdf896d9b230335a3e3f6988c922baa45f015a98 (diff) | |
| download | geiser-43218c8df3687ff1c7fe732947c8a5b7b5155648.tar.gz geiser-43218c8df3687ff1c7fe732947c8a5b7b5155648.tar.bz2 | |
Documentation helpers
Diffstat (limited to 'doc/geiser.css')
| -rw-r--r-- | doc/geiser.css | 10 |
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 +} |