From: Paul Hänsch <paul@plutz.net>
Date: Mon, 19 Jan 2026 06:08:05 +0000 (+0100)
Subject: keep pagemenu sticky to the top
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=583e65d12fadaf41efae2d19d5962e4385d76b42;p=shellwiki

keep pagemenu sticky to the top
---

diff --git a/themes/default.css b/themes/default.css
index bfd0362..e9fbd55 100644
--- a/themes/default.css
+++ b/themes/default.css
@@ -95,11 +95,13 @@ header .menu.dropdown li:hover > ol {
 }
 
 main .pagemenu {
-  list-style: none;
-  background-color: #666;
+  position: sticky;
+  top: 0; z-index: 1;
   margin: 0;
-  box-shadow: 0 0 .5em;
   padding: .25em 2em;
+  background-color: #666;
+  list-style: none;
+  box-shadow: 0 0 .5em;
 }
 main .pagemenu li {
   display: inline-block;