odoc-docsite/src/ at main · jon.recoil.org/odoc-docsite

jon.recoil.org / odoc-docsite

Testing of the @doc-json output

odoc-docsite / src /

at main 4 files

Add docsite shell plugin and expose structured sidebar data

3 weeks ago

odoc_docsite_css.ml

WIP: site redesign, odoc extension API updates, and new content

4 days ago

odoc_docsite_js.ml

Add --config key=value support, scrollycode theming, and SPA inline script execution

1 week ago

odoc_docsite_shell.ml

Revert scrollycode theming from docsite shell

1 week ago