J'y ai passé pas mal de temps mais j'ai réussi à modifier l'éditeur pour remplacer les boutons pas beaux par des icones.
Bien sûr, on a toujours l'aide en passant la souris sur un bouton.
Il y a plusieurs fichiers à télécharger donc ça prendra quelques minutes plus le temps de tester (ça fonctionne chez moi avec Firefox, Chrome, Safari et IE7 il y a juste le choix de la taille du texte qui n'est pas affiché tout à fait de la même façon par tous les navigateurs mais c'est connu).
Mise à jour prévue à 23 heures.