minor layout changes

This commit is contained in:
hneemann 2020-04-05 15:19:42 +02:00
parent f3e3927677
commit 042124cd67