A very minor HTML tweak.

This commit is contained in:
default 2023-11-30 13:27:02 +01:00
parent d6b3333d4a
commit 8b5c146c40