Skip to content

Drop the Jump to menu from the overview - #31

Merged
oblomov-dev merged 1 commit into
mainfrom
claude/beautiful-gauss-3dlvr3
Nov 1, 2026
Merged

oblomov-dev merged 1 commit into
mainfrom
claude/beautiful-gauss-3dlvr3

Conversation

@oblomov-dev

Copy link
Copy Markdown
Member

Follow-up to #30: the overview is now the heading and the groups with their tiles, nothing between.

Removed: the folded Jump to menu, public/toc.js and the .toc styles. The site ships no script any more; AGENTS.md says "No script" again, and the test refuses any <script> on every page (it allowed /toc.js before). The group sections and their ids stay.

npm run check: 5 pass. Checked in Chromium, no errors.


Generated by Claude Code

The groups follow each other with their headings; the site ships no script
any more. Gone: the menu, public/toc.js and its styles. The rule in
AGENTS.md is "No script" again, and the test refuses any <script>.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014YZFmFLTfBmZJXKPuRQWci
@oblomov-dev
oblomov-dev merged commit 443d529 into main Nov 1, 2026
2 checks passed
@oblomov-dev
oblomov-dev deleted the claude/beautiful-gauss-3dlvr3 branch November 1, 2026 15:55
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.

2 participants