Align the site with the LeanCode palette, from one source - #80

Draft

claude[bot] wants to merge 21 commits into

mainfrom

claude/lncd-brand-palette

Commits on Sep 9, 2026

Align the site with the LeanCode palette, from one source
claude
committed
50ff03c
Landing: move the stylesheet into @css getters next to the components
claude
committed
9bd3648
Merge origin/main into claude/lncd-brand-palette
claude
committed
16a9045
Generate the whole palette into Dart, as ciach does
claude
committed
87dde22
Write the landing page's theme from the Dart palette
claude
committed
9c099c9
Merge origin/claude/busy-bell-xjh9eo into claude/lncd-brand-palette
claude
committed
d1c5acc
Landing: derive the token classes from a list of names
claude
committed
8d4cd30
Build the TS themes from the swatches; drop the ciach mentions
claude
committed
cb6d87e

Commits on Sep 10, 2026

Give every landing class one owner
claude
committed
d55102a
Check that every landing class name has one owner
claude
committed
fee6bbb
Revert "Check that every landing class name has one owner"
claude
committed
9ddf572
Scope the landing's class names to their component
claude
committed
d804a71
One class scope per component
claude
committed
35830c7

Commits on Sep 11, 2026

landing: move class scoping to jaspr_class_scope
claude
committed
e5b1952
landing: take the graph-wide scope check
claude
committed
56a287c
landing: take the formatter marker in the part files
claude
committed
ce3a8ce

Commits on Sep 14, 2026

landing: follow the scope constant's rename
claude
committed
b537458
landing: take the resolved annotation check
claude
committed
df7d228
landing: take the builder's review pass
claude
committed
9987735

Commits on Sep 15, 2026

landing: take jaspr_class_scope from pub.dev
claude
committed
d06bd19
landing: trim the README's class-scoping paragraph
claude
committed
011c57f