/*
 * Jetons propres à Ponguy (R7.5). Les couleurs des joueurs ne sont pas des couleurs
 * d'interface : ce sont celles du ruban LED (firmware, Couleurs.ROUGE et Couleurs.BLEU),
 * que la commande de jeu reprend pour que chaque joueur reconnaisse son côté. Le reste du
 * site n'utilise que les jetons --cx-* du socle.
 */
:root {
  --ponguy-joueur-rouge: #ff0000;
  --ponguy-joueur-bleu: #0000ff;
}