redesign: navigation border-bottom

2013-11-13 00:25:10 +01:00 · 2013-11-13 00:25:10 +01:00 · 520df713f5
parent da88aa44ec
commit 520df713f5
1 changed files with 1 additions and 0 deletions
--- 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 {