И это всё МОЁ
Почему я не могу открыть файл с пользовательским стилем (userChrome.css) через инспектор в Developer Tools (для изменения элементов интерфейса)?
В инспекторе я нахожу нужное правило, оно подсвечивается темным фоном, и надпись в скобках гласит:
(user agent) userChrome.css:номер_строки
Обычно, нажатие на эту надпись переключает на вкладку «Style Editor» и открывает соответствующий файл для редактирования. Но с пользовательскими стилями это не работает. Как будто файл заблокирован.
Но при этом, можно вручную переключиться на вкладку «Style Editor» и без проблем открыть этот файл. Вот только там огромный список css-файлов и найти нужный среди них очень сложно. Задача усложняется отсутствием поискового механизма.