From 583e65d12fadaf41efae2d19d5962e4385d76b42 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Mon, 19 Jan 2026 07:08:05 +0100
Subject: [PATCH] keep pagemenu sticky to the top

---
 themes/default.css | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

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;
-- 
2.39.5