Fix jerkiness of navbar navigation.

This commit is contained in:
Sam Tobin-Hochstadt 2014-03-12 16:33:57 -04:00
parent 99593d6d0c
commit f0f8670778

View File

@ -158,8 +158,12 @@
@li{@(list-ref* columns 3 "")}}})
(define ((navbar-maker logo columns page-style?) this)
@div[class: "navbar gumby-content" gumby-fixed: "top" id: "nav1"]{
@((navbar-content logo columns page-style?))})
(list
@div[class: "navbar gumby-content"
style: (if page-style? "position: fixed;" "")
gumby-fixed: "top" id: "nav1"]{
@((navbar-content logo columns page-style?))}
(if page-style? @div[style: "height: 60px;"]{} null)))
(define gumby-preamble
@list{