doc: Generate, embed and animate a table of contents in the navbar itself