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 | 93f86132988ec2c3bf5bfdf85e996e52d812924f (patch) | |
| tree | 5f501728e458f6abd08a215b8fd78899fd4caf79 /doc/geiser.css | |
| parent | 174f48b54cf67ae90a242de02647d6bba32a04f6 (diff) | |
| download | geiser-93f86132988ec2c3bf5bfdf85e996e52d812924f.tar.gz geiser-93f86132988ec2c3bf5bfdf85e996e52d812924f.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 |