Temchik, в Opera 10 для каждого сайта можно не только UserJS подключить, но и UserCSS, чтобы не добавлять таблицу стилей средствами JavaScript.
Можно попробовать добавить идентификатор для <html>:
document.documentElement.id = "test";
и перекрыть все стили, добавив впереди этот идентифкатор:
#test body {…}
#test a:link, #test a:visited {…}
…
Может так будет побыстрее работать
