Przeszukaj pomoc

Unikaj oszustw związanych z pomocą.Nigdy nie będziemy prosić Cię o dzwonienie na numer telefonu, wysyłanie SMS-ów ani o udostępnianie danych osobowych. Zgłoś podejrzaną aktywność, korzystając z opcji „Zgłoś nadużycie”.

Learn More

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

  • Nie ma odpowiedzi
  • 1 osoba ma ten problem
  • 2 wyświetlenia
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.

Zmodyfikowany przez lufte w dniu