From: Paul Hänsch Date: Sat, 23 Sep 2023 23:28:43 +0000 (+0200) Subject: css: minor improvements X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=345839c5fc900260ccdb5383a5664019d6d7c43a;hp=345839c5fc900260ccdb5383a5664019d6d7c43a;p=shellwiki css: minor improvements ---