From df90daf9aa949b7a34bda6fcb2c6bbc66ec12897 Mon Sep 17 00:00:00 2001
From: Stephan Richter <stephan.richter.it@jena.de>
Date: Mon, 9 Dec 2024 09:30:31 +0100
Subject: [PATCH] minor gui improvement

---
 de.srsoftware.oidc.web/src/main/resources/en/style.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/de.srsoftware.oidc.web/src/main/resources/en/style.css b/de.srsoftware.oidc.web/src/main/resources/en/style.css
index 77640ec..ac3870e 100644
--- a/de.srsoftware.oidc.web/src/main/resources/en/style.css
+++ b/de.srsoftware.oidc.web/src/main/resources/en/style.css
@@ -177,4 +177,8 @@ ul{
 
 .permissions button:hover span{
     display: initial;
+}
+
+nav{
+    margin-top: 5px;
 }
\ No newline at end of file