Search Support

Avoid support scams. We will never ask you to call or text a phone number or share personal information. Please report suspicious activity using the “Report Abuse” option.

Learn More

What's the Developer tools' console input css selector?

  • No replies
  • 1 has this problem
  • 17 views
more options

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.

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 by lufte