Skip to content

Conversation

@FichteFoll
Copy link
Member

Do not index CSS color names and fix value selector.

The are rather noisy and are hardly used. The section can still be found
easily since it is named "CSS Colors" and indexed.
Copy link
Collaborator

@michaelblyons michaelblyons left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sure.

Now also matches tokens in list items that are encapsulated in
version-specific div blocks.
@FichteFoll FichteFoll merged commit 0a0f739 into master Nov 20, 2025
2 checks passed
@FichteFoll FichteFoll deleted the no-colors branch November 20, 2025 23:23
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.

3 participants