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
This commit is contained in:
parent
84cef2a69a
commit
7a4767a341
|
@ -843,6 +843,8 @@
|
||||||
""
|
""
|
||||||
`(span ([class "navright"])
|
`(span ([class "navright"])
|
||||||
,@(render
|
,@(render
|
||||||
|
;; put space here for text browsers and to avoid an Opera issue
|
||||||
|
sep-element
|
||||||
(make-element
|
(make-element
|
||||||
(cond [(not parent) "nonavigation"]
|
(cond [(not parent) "nonavigation"]
|
||||||
[prev (titled-url "backward" prev)]
|
[prev (titled-url "backward" prev)]
|
||||||
|
@ -871,7 +873,7 @@
|
||||||
next-content)))))
|
next-content)))))
|
||||||
(define navbar
|
(define navbar
|
||||||
`(div ([class ,(if top? "navsettop" "navsetbottom")])
|
`(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?)
|
(if (include-navigation?)
|
||||||
(list navbar)
|
(list navbar)
|
||||||
null))
|
null))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user