Agrandir la taille de la police du menu édition de TXM

Depuis la version 0.7.9 de TXM, la police des caractères du menu “édition” est devenue plus petite, voire trop petite pour certains usagers utilisant des ordinateurs de petite taille. Voici l’astuce fournie par Alexei Lavrentev pour personnaliser la taille de cette police (et du coup, pour personnaliser la feuille de style txm.css tout court).

Continuer la lecture