Update find-and-replace to set the marker css
Upgrade syntax themes to remove find-result marker css

It is now in find-and-replace based on syntax-variables. Better!