diff options
Diffstat (limited to 'doc/geiser.css')
| -rw-r--r-- | doc/geiser.css | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/geiser.css b/doc/geiser.css index 4476344..91a1e73 100644 --- a/doc/geiser.css +++ b/doc/geiser.css @@ -92,11 +92,13 @@ div.navigation { } div.version { - background-color: #efebe7; + /* background-color: #efebe7; */ line-height: 100%; padding: 3px; - top-margin: 5px; + margin-right: 3px; font-size: smaller; + float: right; + font-style: italic; } .navlink { |