fix: pretty url toc highlighting

[bens-schreiber]

This fix compares the current page to the active page, ignoring the .html suffix.

fixes #3034

[jhult]

Related PRs: #3038, #2993, #2570

[dv1x3r]

Thank you! As a workaround, it is also possible to apply this patch using the Makefile command:

.PHONY: docs
docs:
	mdbook build docs/
	find docs/book -name 'toc*.js' -print0 | xargs -0 sed -i 's@if (link.href === current_page@if (link.href.replace(/\.html$$/, "") === current_page.replace(/\.html$$/, "")@g'

[ehuss]

Thanks!

(Normally we would require tests for changes, but this is somewhat tricky to test since it would require a server that does the corresponding redirects. I'm fine with skipping that for now.)

View changes since this review