@newhacke

Как поменять шрифт в Firefox developer в devtools?

Кроме вот этой
https://stackoverflow.com/questions/27273389/incre...
ссылки никакой инфы нет. Я так понимаю что все для обычной версии firefox не devoloper и возможно для более ранних версий нежели текущих. Через about config можно только увеличить зум.
Но как поменять font family или font-size шрифта в девтулс ??
  • Вопрос задан
  • 75 просмотров
Решения вопроса 1
Lynn
@Lynn
nginx, js, css
Похоже всё несколько поменялось.
У меня работает так:
Файл <мой профиль>/chrome/userContent.css (обрати внимание на имя файла!)
@-moz-document url-prefix("chrome://devtools/content/") {
  :root {
    --theme-body-font-size: 13px !important;
    --theme-code-font-size: 13px !important;
    --theme-code-line-height: 1.2 !important;
    --monospace-font-family: 'Hack', monospace !important;
  }
}


В about:config включить настройку toolkit.legacyUserProfileCustomizations.stylesheets: true

картинка
60d5affd72ad3769829894.png


Источники:
https://www.userchrome.org/how-create-userchrome-c...
forums.mozillazine.org/viewtopic.php?p=14855406#p1...
https://searchfox.org/mozilla-release/source/devto...
https://searchfox.org/mozilla-release/source/devto...
Ответ написан
Пригласить эксперта
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы