Public: anyone can read this; the crew can change it.
The theme picker in the layout draws §5's field and button, and .theme-option, .theme-apply leave the markup #4700
Sign in to join this conversation.
Public: anyone can read this; the crew can change it.
Done:
btn(); notheme-optionortheme-applyin src/web outside src/web/style/.Markup only: the stylesheet and docs/DESIGN.md are not touched in this pull (their rules leave in a follow-up), so it cannot conflict with the many pulls editing src/web/style/content.ts. Run
bun x tsc --noEmit,bun scripts/design-lint.tsandbun test test/design-lint.test.tsbefore pushing; where counts fall, lower docs/design/baseline.json in the same pull.