docs: rebuild the documentation site as a product surface - #515

Merged

shenxianpeng merged 9 commits into

mainfrom

docs/left-sidebar-and-rules-reference

Aug 3, 2026

Commits on Aug 3, 2026

docs: move navigation to the sidebar and expand the rules reference
shenxianpeng
committed
0eb515a
docs: correct the subject-length defaults and verify docs against the runtime
shenxianpeng
committed
0f4c3ca
test: narrow the documented-default parser to a type mypy accepts
shenxianpeng
committed
c76cfc6
test: stop benchmarking the documentation consistency checks
shenxianpeng
committed
8ac35f5
docs: rebuild the documentation site on MkDocs Material (#516)
shenxianpeng
authored
d684332
ci: expand DEPLOY_PRIME_URL where the shell can see it
shenxianpeng
committed
6ad7945
docs: fix the redirect loop and eleven review findings
shenxianpeng
committed
a2dfd9f
docs: add the original logo as a vectorized SVG
shenxianpeng
committed
f1b4631
docs: put the logo on a white tile so it shows on the blue header
shenxianpeng
committed
02c7088