summaryrefslogtreecommitdiff
path: root/doc/geiser.css
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2010-12-21 16:15:16 +0100
committerJose Antonio Ortega Ruiz <jao@gnu.org>2010-12-21 16:15:16 +0100
commit9a75286b505a7be1cfbc54ba0d70c54e8457e527 (patch)
tree735312a01655b86f2dded4672e71feb025e5b89c /doc/geiser.css
parenta700f8280f05155a1a45463d5cf0aab762035ba3 (diff)
downloadgeiser-chez-9a75286b505a7be1cfbc54ba0d70c54e8457e527.tar.gz
geiser-chez-9a75286b505a7be1cfbc54ba0d70c54e8457e527.tar.bz2
Documentation helpers
Diffstat (limited to 'doc/geiser.css')
-rw-r--r--doc/geiser.css10
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
+}