Thread:Project:Support desk/resizing the font in the editor textbox?

In einem Wiki, in dem ich Admin bin, fragte mich ein Nutzer, wie er die Schrift im Editor-Fenster vergrößern konnte. Ich sah es mir mit Firebug an und fan diesen CSS-Code heraus: font-size:100px; } Der funktioniert auch in Firebug, nicht aber, wenn er in die Benutzer-common.css eingetragen wird. Der betreffende Nutzer teilte mri also mit, das der Code nicht funktionieren würde. Ich probierte es daraufhin in meiner eigenen Benutzer:Mariofan13/common.css und in meiner Vector.css aus, auch dort zeigte er keine Wirkung. Den Cache löschte ich immer, ich probierte auch den parameter action=purge in der URL aus, der zeigte keine Wirkung. Wie lautet also der CSS-Code zum Verändern der Schriftgröße im Editor-Fenster?
 * 1) wpTextbox1 {