From 41c44d8ea68a66c9a7cb3cf1bc98bcd0e2b28e63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stephan=20B=C3=B6sch-Plepelits?= <skunk@xover.mud.at>
Date: Sat, 8 Dec 2018 08:57:17 +0100
Subject: [PATCH] style.css: fix format of menu

---
 index.php | 3 +--
 style.css | 7 ++++++-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/index.php b/index.php
index a9ca721c..6694fdc0 100644
--- a/index.php
+++ b/index.php
@@ -73,8 +73,7 @@ html_export_var(array(
     </div>
     <div id='footer'>
       <ul id='menu'>
-        <li><a target='_blank' href='https://github.com/plepe/openstreetbrowser'>Code</a></li>
-      </ul>
+        <li><a target='_blank' href='https://github.com/plepe/openstreetbrowser'>Code</a></li></ul>
     </div>
   </div>
   <div id='loadingIndicator'>
diff --git a/style.css b/style.css
index dd79e415..bd534dc4 100644
--- a/style.css
+++ b/style.css
@@ -139,13 +139,18 @@ a:active {
 }
 #menu li {
   display: inline-block;
+  margin: 1px 0;
 }
 #menu li::after {
-  content: ' |';
+  content: '|';
+  margin: 1px 0.25em;
 }
 #menu li:last-of-type::after {
   content: '';
 }
+#menu li:first-of-type {
+  margin-left: 0.25em;
+}
 
 @media all and (max-height: 400px) {
 #sidebar {