Jaeck, Ludwig authored Sep 28, 2023 and Rahn, Simon committed Sep 28, 2023

- Replace old icons with one standard style and use svg loading.
- Increase the icon contrast.
- The darkening color can now be specified inside the source code for all icons at once.
- Other minor changes in the GUI to improve user experience