Wollen wir hoffen, dass das auch so passiert.
Irgendwie bleibt das wohl so. Nun, sofern Du
#wpTextbox1 { font-family: monospace !important; font-size: 10pt; }
in Dein benutzerdefiniertes CSS reinpackst, ist wieder allet schick.
Grüße