From 7a4767a341f24372f57420891df6ad37a92b0c05 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 27 Nov 2012 17:49:45 -0500 Subject: [PATCH] Fix nav separator for Opera Commit 8653bc6792b614c69b7d0aab7e329591735a0dad caused the doc navigation to render oddly on Opera due to how it handles  . This commit retains the spacing for text browsers, but fixes the navigation on Opera. original commit: 3e81924f848731abda7415d89b4db0ada6ecb308 --- collects/scribble/html-render.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/scribble/html-render.rkt b/collects/scribble/html-render.rkt index c2f69a48..0bc670f2 100644 --- a/collects/scribble/html-render.rkt +++ b/collects/scribble/html-render.rkt @@ -843,6 +843,8 @@ "" `(span ([class "navright"]) ,@(render + ;; put space here for text browsers and to avoid an Opera issue + sep-element (make-element (cond [(not parent) "nonavigation"] [prev (titled-url "backward" prev)] @@ -871,7 +873,7 @@ next-content))))) (define navbar `(div ([class ,(if top? "navsettop" "navsetbottom")]) - ,navleft ,sep-element ,navright nbsp)) ; need nbsp to make the navset bg visible + ,navleft ,navright nbsp)) ; need nbsp to make the navset bg visible (if (include-navigation?) (list navbar) null))