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 | b0bc376b371bd6d907a2c42248bc2b928c32d333 (patch) | |
| tree | 954c14fe7086ad58b1dd2f2293e1d1134b9c1810 /doc/geiser.css | |
| parent | 7812150d033cf58036d0b5cea0ca59581681fb17 (diff) | |
| download | geiser-guile-b0bc376b371bd6d907a2c42248bc2b928c32d333.tar.gz geiser-guile-b0bc376b371bd6d907a2c42248bc2b928c32d333.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; */ +} + |