Add ToC Highlighting#6

Merged

NatasaKralj merged 6 commits intomainfrom

MvM-HighlightTOC-DocsyPR506

Oct 21, 2021

Commits on Sep 24, 2021

Attempt to implement better ToC Highlighting
MarkvanMents
committed

Commits on Sep 27, 2021

Make progress tracking resistant to invalid id's
MarkvanMents
committed

Commits on Oct 5, 2021

Remove numbering as it breaks ToC highlighting
MarkvanMents
committed

Commits on Oct 20, 2021

Replace querySelector with getElementById and make highlighting visible.
MarkvanMents
committed

Commits on Oct 21, 2021