Testing of the @doc-json output

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

- odoc extension API: add link-phase enrichment support for extensions
- odoc-jons-plugins: new site shell with nav bar, recent posts with
featured card layout, and updated CSS
- site-builder: support projects/ directory and improved rule generation
- site: redesigned homepage with hero section and recent posts cards
- site: updated blog index layout
- onnxrt docs: minor .mld cleanup
- New blog images and content (weeknotes, examination map, fungus svg)
- Add mockup.html for design iteration

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

+1 -1
+1 -1
src/odoc_docsite_css.ml
··· 90 90 height: var(--header-height); 91 91 background: var(--sidebar-bg); 92 92 border-bottom: 1px solid var(--border-color); 93 + box-shadow: var(--shadow-sm); 93 94 display: flex; 94 95 align-items: center; 95 96 padding: 0 24px; 96 97 z-index: 100; 97 - box-shadow: var(--shadow-sm); 98 98 } 99 99 100 100 .docsite-header-brand {