Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Update theme colors #421

Merged
merged 1 commit into from
May 14, 2024
Merged

Update theme colors #421

merged 1 commit into from
May 14, 2024

Conversation

bonanitech
Copy link
Member

Updated the colors of all themes to bring them closer to their reference themes, and Monaco themes where needed, and formatted all theme files using Prettier.

@bonanitech bonanitech added the theme-updates Theme updates label May 14, 2024
@bonanitech bonanitech merged commit 9c04ebe into dev May 14, 2024
2 checks passed
@bonanitech bonanitech deleted the Update-theme-colors branch May 14, 2024 18:23
@github-actions github-actions bot locked and limited conversation to collaborators May 16, 2024
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
theme-updates Theme updates
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant