Zawsze denerwowała mnie czcionka edytora wizualnego, który jest domyślnie używany w WordPressie w trybie HTML – Cóż, nie pasuje do tekstów technicznych.. Przejrzałem masę wtyczek, i nie znalazł, bezpośrednio zmieniając czcionkę w edytorze....