С помощью этого расширения можно усовершенствовать механизм поиска по открытой странице. Оно позволяет переместить панель поиска вверх, изменять цвет подсветки найденного, искать по мере ввода, запоминать последние поиски и некоторые другие настройки.
---
Источник:http://lifehacker.ru/2011/08/16/browser-extentions/

позволяет многое настроить в поисковой панели: сделать её визуально похожей на Chrome'овскую (маленькая панель вверху, поверх страницы); одним хоткеем (Ctrl+F) можно будет как открывать, так и закрывать панель; "выделить все найденные" по умолчанию; счётчики кол-ва вхождений на странице и порядкового номера текущего (выделенного) вхождения; автозакрытие по таймеру.
----
Источник:пост № 149