Move aside menu to right

2025-01-10 12:10:50 +01:00
parent 0b5737a576
commit be6398b1aa
2 changed files with 10 additions and 6 deletions
--- a/css/app.css
+++ b/css/app.css
@@ -161,6 +161,10 @@ a:visited {
 #menu {
    z-index: 1000;
    overflow-y: auto;
+    margin-top: 54px;
+}
+#menu.is-overlay {
+    left: auto;
 }
 /* Content in tabs */
 .docs-title {