]> git.plutz.net Git - shellwiki/commit
css: minor improvements
authorPaul Hänsch <paul@plutz.net>
Sat, 23 Sep 2023 23:28:43 +0000 (01:28 +0200)
committerPaul Hänsch <paul@plutz.net>
Sat, 23 Sep 2023 23:28:43 +0000 (01:28 +0200)
commit345839c5fc900260ccdb5383a5664019d6d7c43a
tree05f9975e6bb8b929a2f60228a0b87cc0ef920a0a
parent12fa6da13bb5c96df8326be6849aed484ff90959
css: minor improvements
themes/default.css