Agrandir la taille de police du code source dans l’éditeur JCE de Joomla (astuce)

Si, comme moi, vos yeux se fatiguent en désactivant l’affichage HTML de l’éditeur JCE sous Joomla (affichage du code source au clic de « [Toggle Editor] », alors rendez-vous dans le fichier « /components/com_jce/editor/libraries/css/editor.css » sous la propriété « font-size » du sélecteur « textarea.wfEditor, textarea.wfNoEditor ».