highlight current page (nojs)

Highlight current page (using search hit formatting) in index without
js.