Revision 156a3eee3f10586649668b232e5463e9fd5de93e

Committed on 09/09/2021 7:51 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Minor css bugfix