disable highlightsearchterms since we have no real styles for it anyway