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.
This plugin for odoc provides a more modern styling for odoc's output, including SPA-style navigation.