Как ставить темы и расширения?

Ответ: В меню “инструменты” есть пункты “темы” и “расширения”. Темы имеют расширение *.jar, расширения *.xpi. По умолчанию их можно найти на https://addons.update.mozilla.org/. Русскоязычные расширения можно загрузить на этом ресурсе. Чтобы установить как тему, так и расширение, достаточно перетащить мышкой файл *.jar или *.xpi на соответствующее окно управления темами или расширениями. Теперь надо перезагрузить браузер. Все, можете выбирать новую тему или начинать настраивать/использовать новое расширение.