]> git.plutz.net Git - shellwiki/commitdiff
introduce drop down menu in page headers
authorPaul Hänsch <paul@plutz.net>
Thu, 18 May 2023 11:06:55 +0000 (13:06 +0200)
committerPaul Hänsch <paul@plutz.net>
Thu, 18 May 2023 11:06:55 +0000 (13:06 +0200)
themes/default.css

index a8bdfbcea9b355b7bdb00487dc8de0f1db4eeb22..52179a616c2615a5a2400e0c45e28a6fd5fc1f8d 100644 (file)
@@ -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;