Forum:Font-family of old editor?

Does anyone know what were the font settings in the old editor editbox? I'm trying to replace the horrible font they gave us with the new release...

I think I need to use something like this to change it:

font-family: Consolas,"Eupheima UCAS",Ayuthaya,Menlo,monospace; font-size: 13.5px; } -- 23:02, September 7, 2011 (UTC)
 * 1) EditPageEditor textarea {


 * Put #wpTextbox1 {font-family:monospace} in your css. Its likely personal use only though.--


 * Thanks, but #wpTextbox1 doesn't seem to change anything.


 * I ended up with this:

font-family: monospace; font-size: 13.5px; }
 * 1) EditPageEditor textarea {
 * It works perfectly, and the text is actually readable. Much better for complicated pages and templates.


 * As for personal use, they allow us to change the font in the profile crapbox, so there is no reason to have this font in personal settings. I intend to make my wikis easier to edit, not harder... -- 23:43, September 7, 2011 (UTC)