Skip to content

docs: collapsible record index - #119

Merged
chaksaray merged 2 commits into
developfrom
docs/collapsible-record-index
Aug 3, 2026
Merged

docs: collapsible record index#119
chaksaray merged 2 commits into
developfrom
docs/collapsible-record-index

Conversation

@chaksaray

Copy link
Copy Markdown
Contributor

Wraps the record index table in a details/summary block, collapsed by default. Chose details over a CSS-scrollable div since GitHub sanitizes inline styles on divs in README rendering; details is native HTML5 and actually works. Verified against GitHub's real rendered HTML (not just source inspection): the details/summary/table structure parses correctly, the table renders as a proper table inside the collapsed block, and the closing tag lands in the right place.

Uses <details>/<summary> rather than CSS overflow, since GitHub strips
inline CSS on div elements in rendered markdown. Collapsed by default
to reduce README scroll length; expands on click.
The badge, Stats table, and the new collapsible record index summary
label (docs/collapsible-record-index) each use different text
patterns; a single grep for '[0-9]+ records' would silently miss two
of the three. Spelled out all three explicitly so this doesn't drift
out of sync from memory each time a record gets added.
@chaksaray
chaksaray merged commit 8e7b0e4 into develop Aug 3, 2026
6 checks passed
@chaksaray
chaksaray deleted the docs/collapsible-record-index branch August 3, 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.

1 participant