Skip to content

rrt style: add more styles for Generic and Name.Tag#2895

Merged
Anteru merged 1 commit intopygments:masterfrom
rrthomas:rrt-style-update
Jul 19, 2025
Merged

rrt style: add more styles for Generic and Name.Tag#2895
Anteru merged 1 commit intopygments:masterfrom
rrthomas:rrt-style-update

Conversation

@rrthomas
Copy link
Copy Markdown
Contributor

Primarily aimed at Markdown support.

Primarily aimed at Markdown support.
@Anteru Anteru added the A-theming area: changes to themes label Jul 19, 2025
@Anteru Anteru added this to the 2.20.0 milestone Jul 19, 2025
@Anteru Anteru merged commit 7836c08 into pygments:master Jul 19, 2025
15 checks passed
@Anteru
Copy link
Copy Markdown
Collaborator

Anteru commented Jul 19, 2025

Merged, thanks again!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-theming area: changes to themes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants