Revision 0895901718ad442f28fd4a269107db63b75ea5f4

Committed on 30/01/2024 8:24 am by Luca Realdi <[email protected]> [GitHub Diff]

Update widget style configurations