Skip to content

Remove the unused workbench mark style - #71

Merged
Chumaniac merged 1 commit into
mainfrom
codex/repository-cleanup-20261112
Nov 12, 2026
Merged

Chumaniac merged 1 commit into
mainfrom
codex/repository-cleanup-20261112

Conversation

@Chumaniac

Copy link
Copy Markdown
Owner

Remove the old CSS mark from the local workbench stylesheet after the header moved to its SVG mark. The HTML, CLI, native wrapper, tests and tracked docs do not produce the retired class.

Validation: type check, lint, build and the existing workbench page/summary tests. The stylesheet endpoint and verification behavior stay available.

@Chumaniac
Chumaniac merged commit 0474853 into main Nov 12, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant