diff options
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 +} |