Add custom themes for mkdocs and pdoc. There is now :
a uniform color chart
a light and a dark theme for mkdoc (main doc)
a dark theme for the API reference.
instant navigation between pages.
icons and favicons
analytics in the API reference (there was already in the main)
Related Issue
[x] This change only concerns the documentation
Corentin said he prefered the default theme for the API reference. I still pushed mine as some other people thought mine was better (it would take me at least one full day to enable both, because pdoc is kind of shit at everything else but generating doc, so I would have to implement the feature from scratch). I propose we do a vote tomorrow to decide which one is better, and I'll implement it if we can't come to a decision.
Description
Add custom themes for mkdocs and pdoc. There is now :
Related Issue
Corentin said he prefered the default theme for the API reference. I still pushed mine as some other people thought mine was better (it would take me at least one full day to enable both, because pdoc is kind of shit at everything else but generating doc, so I would have to implement the feature from scratch). I propose we do a vote tomorrow to decide which one is better, and I'll implement it if we can't come to a decision.