/* Admin › Apparence — généré par api/theme.php, ne pas modifier à la main. */
:root{--ok:#33bf31;--amb:#ffb433;--red:#d41111}