Highlighting of search results

Hmm, we use a plugin for the mark syntax, so if there's no option to add a custom class, we can't do that - unless we get the mark plugin author to add such a feature.

Maybe Laurent has an idea how to approach this. If we know how we can do this, implementing it is just the next step.