/* The competition's colors (ADR 0009); frontend/src/css/style.css derives
   every other color from them. Without them, its defaults apply. */