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
commit028555c46bcdacdbfa7bfee81271b9c5b41df39a (patch)
tree04cc83872519c3a3bed9e9c38ecf0160d0bc1d82 /doc/geiser.css
parent43218c8df3687ff1c7fe732947c8a5b7b5155648 (diff)
downloadgeiser-028555c46bcdacdbfa7bfee81271b9c5b41df39a.tar.gz
geiser-028555c46bcdacdbfa7bfee81271b9c5b41df39a.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 {