From ac45839d7b0ffe89cd375bbf48565607238831cb Mon Sep 17 00:00:00 2001
From: Oliver Hamlet <oliver.hamlet@gmail.com>
Date: Thu, 5 Feb 2015 00:42:21 +0000
Subject: [PATCH] Added bottom margin to dynamic content.

I.e. the credits and search results lists, so that they don't end flush
with the base of the browser window.
---
 credits.html | 3 +++
 search.html  | 1 +
 2 files changed, 4 insertions(+)

diff --git a/credits.html b/credits.html
index 6edcfec..c76fe17 100644
--- a/credits.html
+++ b/credits.html
@@ -5,6 +5,9 @@ permalink: /credits/
 ---
 
 <style>
+#contrib {
+    margin-bottom: 16px;
+}
 #contrib > paper-item {
     display: inline-block;
     margin: 2px;
diff --git a/search.html b/search.html
index d093562..4a57c97 100644
--- a/search.html
+++ b/search.html
@@ -7,6 +7,7 @@ permalink: /search/
 <style>
 #results {
     background: white;
+    margin-bottom: 16px;
 }
 #progress.hidden {
     display: none;