[coloration_syntaxique] fix : Taille de la police du bouton copier/coller sur (…)

spip-contrib-extensions/coloration_syntaxique

Par jo, le 24 juin 2024 à 15h43min :

fix: Taille de la police du bouton copier/coller sur l’espace privé

Modifié
prive/style_prive_plugin_coloration_syntaxique.html

Détails : fix: Taille de la police du bouton copier/coller sur l'espace privé (f77fd6d1) · Validations · spip-contrib-extensions / coloration_syntaxique · GitLab