diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-28 01:33:56 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-28 01:33:56 +0100 |
| commit | 97cbd01379a9f337433e48292566e942c6e1973c (patch) | |
| tree | ab164a66d8cf96f465b34cb4350295b78f5c0825 /doc/geiser.css | |
| parent | 9a75286b505a7be1cfbc54ba0d70c54e8457e527 (diff) | |
| download | geiser-guile-97cbd01379a9f337433e48292566e942c6e1973c.tar.gz geiser-guile-97cbd01379a9f337433e48292566e942c6e1973c.tar.bz2 | |
Web page: version in main page
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 { |