From 520df713f58419395dab7162c21f472e1385dc43 Mon Sep 17 00:00:00 2001
From: dodo <dodo@c3d2.de>
Date: Wed, 13 Nov 2013 00:25:10 +0100
Subject: [PATCH] redesign: navigation border-bottom

---
 content/static/style/default.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/content/static/style/default.css b/content/static/style/default.css
index a3c13eb5c..487a6fb06 100644
--- a/content/static/style/default.css
+++ b/content/static/style/default.css
@@ -66,6 +66,7 @@ pre {
   margin: 0;
   padding: 0 1em;
   background-color: rgba(0, 0, 0, 0.7);
+  border-bottom: 3px solid black;
 }
 
 #navgroups {