Skip to content

docs: Hide redundant table of contents in the index page#87

Open
sylvaincom wants to merge 1 commit into
soda-inria:mainfrom
sylvaincom:sylvaincom-docs-index
Open

docs: Hide redundant table of contents in the index page#87
sylvaincom wants to merge 1 commit into
soda-inria:mainfrom
sylvaincom:sylvaincom-docs-index

Conversation

@sylvaincom
Copy link
Copy Markdown
Contributor

Currently, in the index page of the online docs, there is this:

Capture d’écran 2025-03-08 à 11 52 40

At the end of the screenshot, the table of contents is redundant with the top navigation bar.

This small PR hides this table of contents (for screen real estate purposes).

@sylvaincom sylvaincom changed the title docs: Hide contents in the dinner docs: Hide redundant table of contents in the index page Mar 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant