What's the Developer tools' console input css selector?
I've been able to increase the font size of the monospace font used by the all the developer tools tabs with the following userChrome.css, except the input on the console tab. The ouput pane seems to be affected by the .devtools-monospace selector, but not the input though, which remains with the super-small font. What's the selector used by that element or how can I find out?
This is my userChrome.css:
@namespace url(http://www.w3.org/1999/xhtml);
.CodeMirror, .devtools-monospace {
font-family: "Bitstream Vera Sans Mono", monospace !important; font-size: 11px !important;
}
Thanks.
Modified