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.
This commit is contained in:
Andreas Gohr 2023-07-10 13:10:43 +02:00
commit 80e39be048

View file

@ -257,7 +257,7 @@
div.nav-panel {
display: none;
margin-top: .5rem;
margin-left: @menu-margin;
margin-left: @margin-small;
ul {
margin-bottom: 1rem;