Skip to content

Add sticky headings in long lists#168

Merged
ScriptRaccoon merged 1 commit into
mainfrom
sticky-headings-in-lists
May 11, 2026
Merged

Add sticky headings in long lists#168
ScriptRaccoon merged 1 commit into
mainfrom
sticky-headings-in-lists

Conversation

@ScriptRaccoon
Copy link
Copy Markdown
Owner

@ScriptRaccoon ScriptRaccoon commented May 11, 2026

This small PR adds sticky headings to long lists on detail pages for categories, functors, and their properties. This is useful to remember the context when scrolling, in particular on mobile devices.

sticky-heading-rec.mov

@ScriptRaccoon ScriptRaccoon force-pushed the sticky-headings-in-lists branch from 9de0f0f to d60346f Compare May 11, 2026 17:09
@ScriptRaccoon ScriptRaccoon merged commit b6d157f into main May 11, 2026
1 check passed
@ScriptRaccoon ScriptRaccoon deleted the sticky-headings-in-lists branch May 11, 2026 17:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant