From: Paul Hänsch <paul@plutz.net>
Date: Thu, 18 May 2023 11:06:55 +0000 (+0200)
Subject: introduce drop down menu in page headers
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=440c127e74cee80b21225ad446d8d373e4a79e33;p=shellwiki

introduce drop down menu in page headers
---

diff --git a/themes/default.css b/themes/default.css
index a8bdfbc..52179a6 100644
--- a/themes/default.css
+++ b/themes/default.css
@@ -37,13 +37,30 @@ footer .menu {
 header .menu,
 footer .menu { list-style: none; }
 
-header .menu li,
-footer .menu li {
+header .menu > ul > li,
+header .menu > ol > li,
+footer .menu > ul > li,
+footer .menu > ol > li {
   display: inline-block;
   margin-right: .5em;
   vertical-align: top;
 }
 
+header .menu.dropdown li > ul,
+header .menu.dropdown li > ol {
+  display: none;
+  position: absolute;
+  background-color: #FFF;
+  margin: 0;
+  padding: .25em .5em;
+  padding-left: 1.5em;
+  box-shadow: 0 0 .75em;
+}
+header .menu.dropdown li:hover > ul,
+header .menu.dropdown li:hover > ol {
+  display: table;
+}
+
 main .pagemenu {
   list-style: none;
   background-color: #666;