diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-23 22:52:32 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-23 22:53:00 +0200 |
| commit | 2b47a45e126d8fb4457512d6aee0e829a0c6b07f (patch) | |
| tree | 2c9ed3c6c1c1cc7fec221252bb83d9bd94f7b016 /doc/geiser.css | |
| parent | b14b2114bbce42fd282648a7adc44a87ca42d4de (diff) | |
| download | geiser-guile-2b47a45e126d8fb4457512d6aee0e829a0c6b07f.tar.gz geiser-guile-2b47a45e126d8fb4457512d6aee0e829a0c6b07f.tar.bz2 | |
Documentation tweaks
Diffstat (limited to 'doc/geiser.css')
| -rw-r--r-- | doc/geiser.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/geiser.css b/doc/geiser.css index 96f1801..a172f4e 100644 --- a/doc/geiser.css +++ b/doc/geiser.css @@ -78,3 +78,7 @@ div.navigation { /* color: white; */ } +.index-cp { + line-height:120%; + font-size: smaller; +}
\ No newline at end of file |