From f2f89271c579738957f079e4ed0ed34323db9495 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Sat, 8 Nov 2014 19:04:20 -0500
Subject: [PATCH] Make the header bar the same size as the main racket page

---
 TODO.md          |  2 --
 src/main.rkt     |  2 +-
 static/style.css | 14 ++++++++++++++
 3 files changed, 15 insertions(+), 3 deletions(-)

diff --git a/TODO.md b/TODO.md
index 336ff1a..aa2d6cb 100644
--- a/TODO.md
+++ b/TODO.md
@@ -22,5 +22,3 @@ the build status "problems" button should be a link to the build status
 ## Design possibilities
 
 "the big gray box should probably not go all the way to the top of the page"
-
-Make the header bar the same size as the main racket page
diff --git a/src/main.rkt b/src/main.rkt
index 8be2779..54bc32d 100644
--- a/src/main.rkt
+++ b/src/main.rkt
@@ -22,7 +22,7 @@
 (bootstrap-navbar-header
  `(a ((href "http://www.racket-lang.org/"))
    (img ((src "/logo-and-text.png")
-         (height "50")
+         (height "60")
          (alt "Racket Package Index")))))
 
 (bootstrap-navigation `((,nav-index "/")
diff --git a/static/style.css b/static/style.css
index 0930eb2..7092db4 100644
--- a/static/style.css
+++ b/static/style.css
@@ -13,6 +13,20 @@ body {
 
 .navbar { background: black; }
 
+/*---------------------------------------------------------------------------*/
+/* Make the navbar the same height as the main racket page's navbar */
+.navbar-brand,
+.navbar-nav > li > a {
+    line-height: 60px;
+    height: 60px;
+    padding-top: 0;
+}
+.navbar-btn {
+    margin-top: 13px;
+    margin-bottom: 13px;
+}
+/*---------------------------------------------------------------------------*/
+
 .build_green { background-color: #ccffcc; }
 .build_yellow { background-color: #ffffcc; }
 .build_red { background-color: #ffcccc; }