From d045ab66d359df4414d8dd48b9893b976d5095d7 Mon Sep 17 00:00:00 2001
From: Gregory Trolliet <gregory@trolliet.info>
Date: Mon, 27 Apr 2020 18:58:52 +0200
Subject: [PATCH] Add a small border under the navbar

---
 static/css/base.css | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/static/css/base.css b/static/css/base.css
index c1bb6ba..7f1e405 100644
--- a/static/css/base.css
+++ b/static/css/base.css
@@ -2,6 +2,7 @@
 :root {
 	--font-color: #000000;
 	--background-color: #FFFFFF;
+	--footer-color: grey;
 
 	--max-width: 800px;
 	--max-width-full: 1000px;
@@ -81,7 +82,7 @@ body {
 	height: var(--footer-height-inline);
 }
 .footer {
-	background-color: grey;
+	background-color: var(--footer-color);
 	color: white;
 }
 .footer .footer_link {
@@ -112,11 +113,15 @@ body {
 	line-height: 4em;
 	z-index: 50;
 	background: white;
+	box-shadow: 0 1px 5px black;
 }
 #navigation {
 	max-width: var(--max-width-full);
 	margin: auto;
 }
+#navigation-list {
+	margin-bottom: 0;
+}
 .navigation-item a {
 	color: var(--primary-text);
 	padding: 0.5rem 0;