[KellyJDavis]

Website

• New pages: about/, roadmap/, get-involved/, modelled on the matching cslib.io pages.
• The header reads About, Tutorial, Roadmap, Get involved, Reference manual, Blueprint, API docs on the website, both books, the blueprint, the API docs and the 404 page, with the current page highlighted.
• Header links are spaced more tightly so that seven entries fit, and tighter still on the API docs below 1150 px.
• The footer separates Documentation from Project links.

README

• Simplified along the lines of CSLib's README, with copy edits.
• Shows the Axiom 3 diagram, with light and dark SVG copies in web/static_files/. The copies are maintained by hand alongside web/Site/Diagram.lean.

Checks

• Local builds of the website, books and blueprint; present-tense wording check.
• Header links followed from the site, books and 404 page. Header fit measured from 1025 to 1600 px.
• API docs tested on one downloaded page with the links added by hand. The full restyle runs only in the workflow, so it should be checked on the first deployment.
• The README's <picture> was previewed in a local mock-up only, so check it on this PR's GitHub view.

🤖 Generated with Claude Code