diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/geiser.css | 6 | ||||
| -rw-r--r-- | doc/web.texi | 11 | 
2 files changed, 10 insertions, 7 deletions
| diff --git a/doc/geiser.css b/doc/geiser.css index 4476344..91a1e73 100644 --- a/doc/geiser.css +++ b/doc/geiser.css @@ -92,11 +92,13 @@ div.navigation {  }  div.version { -    background-color: #efebe7; +    /* background-color: #efebe7; */      line-height: 100%;      padding: 3px; -    top-margin: 5px; +    margin-right: 3px;      font-size: smaller; +    float: right; +    font-style: italic;  }  .navlink { diff --git a/doc/web.texi b/doc/web.texi index 40af3df..5225252 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -4,16 +4,17 @@  @contents +@node Top, Introduction, (dir), (dir) + +@include top.texi  @html  <div class="version" align="right"><a class="navlink" -href="http://download.savannah.nongnu.org/releases/geiser/0.1/geiser-0.1.tar.gz">Version 0.1 Dec 2010, Guile 1.9.14 and Racket 5.0.x  </a> +href="http://download.savannah.nongnu.org/releases/geiser/0.1/geiser-0.1.tar.gz"> +Version 0.1, Dec 2010, Guile 1.9.14 and Racket 5.0.x +</a>  </div>  @end html -@node Top, Introduction, (dir), (dir) - -@include top.texi -  @menu  * Introduction::  * Installation:: | 
