Repository navigation

Refactor the website around a Typst-backed reduction graph - #1153

Closed

isPANN wants to merge 13 commits into

refactor/reduction-contracts-cleanfrom

refactor/deployment-web

Closed

Refactor the website around a Typst-backed reduction graph#1153
isPANN wants to merge 13 commits into
refactor/reduction-contracts-cleanfrom
refactor/deployment-web

Commits on Sep 15, 2026
- Refactor the reduction website with a shared Typst-backed graph explorer
  isPANN
  committed
  acc0baf
- Use version tags for documentation workflow actions
  isPANN
  committed
  c8a0931
Commits on Sep 16, 2026
- Move open problems link to end of navigation
  isPANN
  committed
  7d5fd41
- Refine Atlas layout and typography and align graph search styling
  isPANN
  committed
  fe42c66
- Rename Open problems to Open questions
  isPANN
  committed
  7cf40e4
Commits on Sep 17, 2026
- Seed the website graph layout generator
  
  GiggleLiu
  and
  claude
  committed
  bcc272b
- Keep graph shortcuts out of text fields
  
  GiggleLiu
  and
  claude
  committed
  9c8e272
- Keep keyboard focus when the graph list re-renders
  
  GiggleLiu
  and
  claude
  committed
  32dc244
- Share the paper-data prerequisite across doc targets
  
  GiggleLiu
  and
  claude
  committed
  96740fe
- Redirect retired mdBook pages and fix the design link
  
  GiggleLiu
  and
  claude
  committed
  03121e4
- Describe the graph divider range at startup
  
  GiggleLiu
  and
  claude
  committed
  bb4acf0
- Report missing graph data through the init error path
  
  GiggleLiu
  and
  claude
  committed
  ef16d0a
- Load Typst footnotes and keep the article when they fail
  
  GiggleLiu
  and
  claude
  committed
  0a95d08