Python >> Tutoriel Python >  >> Python

Comment augmenter la taille de la police sur le plugin WordPress Enlighter ?

Utilisez-vous le génial plugin WordPress "Enlighter" pour intégrer du code dans votre site WordPress comme celui-ci ?

print('hello world!')

Si vous êtes comme moi, vous souhaitez pouvoir personnaliser le style (comme la taille de la police) globalement, et non localement pour chaque extrait de code individuel.

Problème :Comment augmenter la taille de la police du plugin Enlighter WordPress ?

Pour augmenter globalement la taille de la police, vous devez suivre les étapes suivantes :

  • Ouvrez votre éditeur WordPress.
  • Aller à Appearance > Customize > CSS dans votre éditeur WordPress.
  • Copiez l'extrait suivant dans votre fichier CSS :
.enlighter-t-bootstrap4 .enlighter span{
font-size: 16px;
}

Notez que vous pouvez changer la taille de la police en 15px , 17px , ou même 20px -comme vous voulez! Notez également que si vous utilisez un autre thème/style pour votre code intégré que bootstrap4 , vous devez définir le sélecteur CSS en conséquence.

Par exemple :

.enlighter-t-wpcustom .enlighter span{
font-size: 20px;
}

Cela modifierait la taille de la police de tous les environnements de code Enlighter qui utilisent le thème personnalisé.

Voici à quoi cela peut ressembler dans la pratique :

Ah, oui, si vous voulez apprendre Python, n'oubliez pas de télécharger nos aide-mémoire gratuits :🙂