/* Badge colours set in the card builder (app/card_sets.py). */