Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Make quotes around code font words consistent #1062

Merged
merged 1 commit into from
Aug 4, 2020

Conversation

ricea
Copy link
Collaborator

@ricea ricea commented Aug 4, 2020

Some quoted code font words in the standard had a quote in code font on
one side and proportional font on the other side. Fix it so that all
quoted code font words have both quotes in proportional font.

This change is purely editorial.


Preview | Diff

Some quoted code font words in the standard had a quote in code font on
one side and proportional font on the other side. Fix it so that all
quoted code font words have both quotes in proportional font.
@ricea ricea added the editorial Changes that do not affect how the standard is understood. label Aug 4, 2020
Copy link
Member

@domenic domenic left a comment

Choose a reason for hiding this comment

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

Oops, great catch, thanks. Be sure to prefix the commit message with "Editorial:" while merging, to make easier for folks to filter!

@domenic domenic merged commit d6ea924 into whatwg:master Aug 4, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editorial Changes that do not affect how the standard is understood.
Development

Successfully merging this pull request may close these issues.

None yet

2 participants