]> git.plutz.net Git - shellwiki/commitdiff
keep pagemenu sticky to the top
authorPaul Hänsch <paul@plutz.net>
Mon, 19 Jan 2026 06:08:05 +0000 (07:08 +0100)
committerPaul Hänsch <paul@plutz.net>
Mon, 19 Jan 2026 06:08:05 +0000 (07:08 +0100)
themes/default.css

index bfd0362a3c404bfbf767368311a25fbd5a47d90a..e9fbd55dd83c191397ca50905792feea59811c74 100644 (file)
@@ -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;