diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:06:58 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:06:58 +0200 |
| commit | 1be07dd7dd5032cc7b4e90a4e0fc0432ccda67a6 (patch) | |
| tree | 41ad0df8bcdcd1190f9963b301bd9170cb7ad2cd /doc/geiser.css | |
| parent | b8e697ec2d2102cda229eeb58a7e72edb8274b73 (diff) | |
| download | geiser-1be07dd7dd5032cc7b4e90a4e0fc0432ccda67a6.tar.gz geiser-1be07dd7dd5032cc7b4e90a4e0fc0432ccda67a6.tar.bz2 | |
Documentation tweaks.
Diffstat (limited to 'doc/geiser.css')
| -rw-r--r-- | doc/geiser.css | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/doc/geiser.css b/doc/geiser.css index bdb2c6a..96f1801 100644 --- a/doc/geiser.css +++ b/doc/geiser.css @@ -62,4 +62,19 @@ ul { div.navigation { background-color: #efebe7; -}
\ No newline at end of file + line-height: 100%; + top-margin: 5px; + padding: 3px; + /* background-color: #000000; */ + /* border-top-style: solid; */ + /* border-bottom-style: solid; */ + /* border-width: 0px; */ + /* border-top-width: 4px; */ + /* border-color: rgb(200, 200, 200); */ +} + +.navlink { + text-decoration: none; + /* color: white; */ +} + |