Highlights in the navbar don't work correctluy

[fingolfin]

We have some logic to mark the current page as bold in the navbar. This works e.g. on the front page https://book.oscar-system.org:

But it doesn't work on e.g. the Contributors page https://book.oscar-system.org/contributors/ :

and also not on some of the other pages.