Closed gedankenstuecke closed 5 months ago
This addresses the frontpage colour suggestions raised by @Davsarper in #667
This PR does not seem to contain any modification to coverable code.
This addresses the frontpage colour suggestions raised by @Davsarper in #667