change default theme, add highlight of all occurences in search