Unexpected navigation highlighting #31
Description
When using the navigation in the v0.1.0 documentation sometimes unexpected things happen with the navigation tree:
- Multiple entries may be highlighted if the point to the same page rather than the one selected.
- The selected entry may not be highlighted if it links to a specific heading in the page.