summaryrefslogtreecommitdiff
path: root/doc/geiser.css
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2010-12-28 01:33:56 +0100
committerJose Antonio Ortega Ruiz <jao@gnu.org>2010-12-28 01:33:56 +0100
commit97cbd01379a9f337433e48292566e942c6e1973c (patch)
treeab164a66d8cf96f465b34cb4350295b78f5c0825 /doc/geiser.css
parent9a75286b505a7be1cfbc54ba0d70c54e8457e527 (diff)
downloadgeiser-chez-97cbd01379a9f337433e48292566e942c6e1973c.tar.gz
geiser-chez-97cbd01379a9f337433e48292566e942c6e1973c.tar.bz2
Web page: version in main page
Diffstat (limited to 'doc/geiser.css')
-rw-r--r--doc/geiser.css6
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 {