Highlight active navigation bar element (see #343, #347)