scribble/html-render: Add missing sep-element for non-CSS browsers

original commit: 8653bc6792b614c69b7d0aab7e329591735a0dad
2012-10-16 11:56:01 -04:00 · 2012-10-16 11:56:01 -04:00 · 066db6a0b4
commit 066db6a0b4
parent b033e80e4e
1 changed files with 1 additions and 1 deletions
--- a/collects/scribble/html-render.rkt
+++ b/collects/scribble/html-render.rkt
@ -871,7 +871,7 @@
                 next-content)))))
      (define navbar
        `(div ([class ,(if top? "navsettop" "navsetbottom")])
-           ,navleft ,navright nbsp)) ; need nbsp to make the navset bg visible
+           ,navleft ,sep-element ,navright nbsp)) ; need nbsp to make the navset bg visible
      (if (include-navigation?)
          (list navbar)
          null))