odoc-jons-plugins

• Warning

  This plugin was vibe-coded with AI assistance and has not been thoroughly reviewed or tested. Use at your own risk and expect breaking changes.

Custom odoc shell and extensions for jon.recoil.org.

This plugin provides the HTML shell used to render the site, including custom CSS theming, JavaScript for interactive features, and integration with odoc's extension API.