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

Fix #209 #212

Merged
merged 3 commits into from
Oct 9, 2020
Merged

Fix #209 #212

merged 3 commits into from
Oct 9, 2020

Conversation

aphillips
Copy link
Contributor

@aphillips aphillips commented Oct 8, 2020

See commit log


Preview | Diff

Pulling fixes from w3c to my fork
- Reference ASCII case-insensitive in Infra
- Adds a reference to Infra
- Tweak explantory text
- Link all references to ACI to the definition
- make background of quote use a lighter gray for accessibility contrast
- make the Note Well block use style 'addition' so it doesn't look like mustard
@aphillips
Copy link
Contributor Author

Also includes changes to address 210 (style nits)

@r12a
Copy link
Contributor

r12a commented Oct 9, 2020

Once you merge this, i'd like to make the changes to the ids. Let me know if you have something else in the works, because changing the ids will probably generate conflicts for anything else not yet submitted.

@aphillips aphillips merged commit d8f2495 into w3c:gh-pages Oct 9, 2020
@aphillips
Copy link
Contributor Author

aphillips commented Oct 9, 2020 via email

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.

None yet

2 participants