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 | 028555c46bcdacdbfa7bfee81271b9c5b41df39a (patch) | |
| tree | 04cc83872519c3a3bed9e9c38ecf0160d0bc1d82 /doc/geiser.css | |
| parent | 43218c8df3687ff1c7fe732947c8a5b7b5155648 (diff) | |
| download | geiser-028555c46bcdacdbfa7bfee81271b9c5b41df39a.tar.gz geiser-028555c46bcdacdbfa7bfee81271b9c5b41df39a.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 { |