Я не знаю о mookmarklets или Favlets, но вы могли бы написать скрипт пользователя для этого.
Не уверен, что IE поддерживает что-то подобное, но Firefox, Chrome и Opera поддерживают пользовательские скрипты. (Используйте Greasemonkey для Firefox)
Например, я написал этот скрипт для себя, чтобы выделить код на форумах Bytes, который я могу использовать во всех трех браузерах. (Не стесняйтесь использовать это, если хотите.)
Редактировать . Кажется, IE7pro аддон для IE поддерживает Greasemonkey-подобные пользовательские скрипты.