From d7488ba11bd7294fb57668f29a9c428c9f27e072 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 29 Jan 2008 22:56:17 +0000 Subject: [PATCH] launcher scribblings and other doc fixes svn: r8469 original commit: 99818355f7b806dd7e36f5720558d2701c470948 --- collects/scribble/html-render.ss | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index a5313be7..c7ff729c 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -334,9 +334,9 @@ (div ((class "maincolumn")) (div ((class "main")) ,@(render-version d ri) - ,@(navigation d ri) + ,@(navigation d ri #f) ,@(render-part d ri) - ,@(navigation d ri)))))]) + ,@(navigation d ri #t)))))]) (unless css-path (install-file scribble-css)) (printf "\n") @@ -370,7 +370,7 @@ (define/public (derive-filename d) "bad.html") - (define/private (navigation d ri) + (define/private (navigation d ri pre-space?) (let ([parent (part-parent d ri)]) (let*-values ([(prev next) (find-siblings d ri)] [(prev) (if prev @@ -408,7 +408,8 @@ (not index) (not up-path)) null - `((div ([class "navleft"]) + `(,@(if pre-space? '((p nbsp)) null) + (div ([class "navleft"]) ,@(render-content (append (list