From 2d923d576f017bcaa4c131ca2bd783fc70ee9c9c Mon Sep 17 00:00:00 2001
From: Jonas Duri <jonas.duri@gmail.com>
Date: Sun, 3 Feb 2019 08:25:39 +0100
Subject: [PATCH] fix navigation margin

---
 lib/terminal.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/terminal.css b/lib/terminal.css
index 3810b95..5ef166f 100644
--- a/lib/terminal.css
+++ b/lib/terminal.css
@@ -675,6 +675,7 @@ select:-webkit-autofill:focus {
     width: 100%;
     flex-grow: 1;
     font-size: var(--global-font-size);
+    margin-top: 0;
 }
 
 .terminal-menu li {
@@ -735,6 +736,7 @@ select:-webkit-autofill:focus {
         justify-items: flex-end;
         align-items: center;
         justify-content: flex-end;
+        margin-top: calc(var(--global-space) * 2);
     }
 
     .terminal-menu li {