Better (less) spacing when no additional info is shown

This commit is contained in:
2023-12-15 12:34:38 +01:00
parent f9c2ebfcbd
commit d72ebcdc5d