Mir persönlich – und vielleicht nicht nur mir – ist die Schriftgröße des HTML-Editors im Dashboard von WordPress 3.x zu klein. Mit ein paar Zeilen PHP-Code kann man die Schrift aber vergrößern. Wie das geht, habe ich hier gefunden: webdesign-passau.com. Danke, klappt wunderbärchen!
Nachtrag 12. Mai 2015: Die Website bzw. deren ursprünglichen Inhalte existieren nicht mehr.