Bene Rabelais,
mi fa piacere che tu abbia risolto.
La tua soluzione va bene se le modifiche da effettuare sono poche, mentre la funzione add_editor_style che ti ho segnalato ti permette di aggiungere un foglio di stile dedicato all'editor classico di WordPress.
