diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-21 16:15:16 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-21 16:15:16 +0100 |
| commit | 9a75286b505a7be1cfbc54ba0d70c54e8457e527 (patch) | |
| tree | 735312a01655b86f2dded4672e71feb025e5b89c /doc/geiser.css | |
| parent | a700f8280f05155a1a45463d5cf0aab762035ba3 (diff) | |
| download | geiser-guile-9a75286b505a7be1cfbc54ba0d70c54e8457e527.tar.gz geiser-guile-9a75286b505a7be1cfbc54ba0d70c54e8457e527.tar.bz2 | |
Documentation helpers
Diffstat (limited to 'doc/geiser.css')
| -rw-r--r-- | doc/geiser.css | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/doc/geiser.css b/doc/geiser.css index d05f909..4476344 100644 --- a/doc/geiser.css +++ b/doc/geiser.css @@ -91,6 +91,14 @@ div.navigation { /* border-color: rgb(200, 200, 200); */ } +div.version { + background-color: #efebe7; + line-height: 100%; + padding: 3px; + top-margin: 5px; + font-size: smaller; +} + .navlink { text-decoration: none; /* color: white; */ @@ -99,4 +107,4 @@ div.navigation { .index-cp { line-height:120%; font-size: smaller; -}
\ No newline at end of file +} |