Les CSS de la dist utilisent maintenant des variables CSS.

Elles sont séparées en 2 :
* Des variables "publiques" qui pourront être communiquées, elles permettent de modifier simplement les principaux éléments qui régissent l'apparence du thème : couleur d'accent, etc.
* Des variables "privées" à usage interne, qu'il n'est pas recommandé de surcharger dans ses styles persos.

Refs #4865