Меня всегда раздражал шрифт визуального редактора, который используется в WordPress по-умолчанию в режиме HTML — ну не соответствует он техническим текстам. Перебрал кучу плагинов, и не нашел ни одного, напрямую меняющего шрифт в редакторе....