From 80e39be0482233f6b0a1861fc90918c0d2f67b41 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Mon, 10 Jul 2023 13:10:43 +0200
Subject: [PATCH] Adjust sidebar panel margin

Since navigation panels now always close when the sidebar is minimized,
it's not longer necessare to move their contents out of the visible
margin under the icons. This gives a bit more space for contents.
---
 css/area_main-sidebar-nav.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/css/area_main-sidebar-nav.less b/css/area_main-sidebar-nav.less
index 37e1602..499dd49 100755
--- a/css/area_main-sidebar-nav.less
+++ b/css/area_main-sidebar-nav.less
@@ -257,7 +257,7 @@
     div.nav-panel {
         display: none;
         margin-top: .5rem;
-        margin-left: @menu-margin;
+        margin-left: @margin-small;
 
         ul {
             margin-bottom: 1rem;