Der ein oder andere mag sich vielleicht für die Textdarstellung im Editor der Blogsoftware WordPress einen anderen als den voreingestellten Zeichensatz wünschen. Das ist einfach gemacht: wie so oft muss man nur ein wenig Code in die functions.php des verwendeten Themes einfügen:
function change_editor_font() {
echo "";
}
add_action("admin_print_styles", "change_editor_font");