Skip to content

Move the sidebar to be stuck to left of the content#999

Merged
Julow merged 4 commits intoocaml:masterfrom EmileTrotignon:sidebar-middleDec 5, 2023