diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss index 3e50b18605..c5ffdbaef1 100644 --- a/collects/scribblings/main/private/make-search.ss +++ b/collects/scribblings/main/private/make-search.ss @@ -159,7 +159,7 @@ +'
' +'' +' | ||
' |