Захотел поправить некоторые мелочи в одном из расширений FF, обнаружил там обыкновенный CSS:
.tab-icon-image,
.tab-throbber {
max-height: 16px;
}
Правка «вслепую» очень неудобна, приходится по 20 раз перезапускать браузер, и вообще — хочется поглядеть на структуру, выделить курсором элемент (в моём случае — вкладку браузера), посмотреть её CSS-свойства и менять их «на лету», сразу глядя на результат. Не нашёл, к сожалению, подобных расширений. Подскажите, можно ли каким-то образом редактировать интерфейс браузера на лету (например, с помощью Firebug)?