]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
web: Clean up style sheet.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 9 Nov 2021 17:16:15 +0000 (18:16 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 10 Feb 2022 15:52:51 +0000 (16:52 +0100)
This removes some unnecessary cruft. The pages still look as before,
at least in elinks and firefox.


No differences found