From fa38d02dae931b5c70b9b513df5292a4d1a7028b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 25 May 2008 14:07:02 +0000 Subject: [PATCH] remove blank line at the top of rendered HTML svn: r9950 original commit: 0aac9f02bb191711d087687575f8f6c654b1945d --- collects/scribble/html-render.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index 97d32315..5a291f85 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -531,7 +531,7 @@ (body () ,@(render-toc-view d ri) (div ([class "maincolumn"]) (div ([class "main"]) - (br) + ;; (br) ; why was this here? ,@(render-version d ri) ,@(navigation d ri #f) ,@(render-part d ri)