From f0f86707786e7991893b788bb6780cca2791e7c2 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Wed, 12 Mar 2014 16:33:57 -0400
Subject: [PATCH] Fix jerkiness of navbar navigation.

---
 pkgs/plt-web-pkgs/plt-web-lib/layout.rkt | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/pkgs/plt-web-pkgs/plt-web-lib/layout.rkt b/pkgs/plt-web-pkgs/plt-web-lib/layout.rkt
index 8e3746d1ed..fc690aa9a8 100644
--- a/pkgs/plt-web-pkgs/plt-web-lib/layout.rkt
+++ b/pkgs/plt-web-pkgs/plt-web-lib/layout.rkt
@@ -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{