2
votes
1answer
95 views

Changing Opera's source search highlighting color?

I'm running Opera 12.01 and the highlighting color for source searching is a very very faint gray - barely distinguishable. After looking at this thread How to change Opera's source search ...
5
votes
2answers
700 views

How to change Opera's source search highlighting color?

Opera offers brilliant incremental search while searching ona website but when it comes to source searching ( Right button click -> Source -> Search ) it is not so beautiful. By default : when ...