]> git.plutz.net Git - shellwiki/commit
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)
commit440c127e74cee80b21225ad446d8d373e4a79e33
treea3a6007f061f1d9a76de2ac4768ebefc35e8126a
parent23d9c510f3d544c2d48ca5c82ea521c339b62ecb
introduce drop down menu in page headers
themes/default.css