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.

Sign up for GitHub

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

Editorial: make domintro typography more uniform #6901

Merged
merged 12 commits into from
Jul 27, 2021
Merged

Editorial: make domintro typography more uniform #6901

Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
f125bb2
Manual rewrite of the first three, plus preparation for others
domenic Jul 26, 2021
44ac355
Automated parse/reparse/rewrap pass
domenic Jul 26, 2021
e9df38d
Automated linebreak removal inside <dd> pass
domenic Jul 26, 2021
223b4ed
Automated wrap all <dt>s in <code>
domenic Jul 26, 2021
70a4dcc
Automated removal of spaces around dots
domenic Jul 26, 2021
4485118
Automated removal of spaces in parens
domenic Jul 26, 2021
95b9f5d
Automated movement of ...s in <dt>s
domenic Jul 26, 2021
2184423
Automated removal of double linebreaks after <dl class="domintro">
domenic Jul 26, 2021
ecc8712
Review comments
domenic Jul 27, 2021
166fafe
Update reportError
domenic Jul 27, 2021
6b66c9e
Automated fixup of cases where firstElementChild is already code
domenic Jul 27, 2021
63228ec
Manual spacing fixups
domenic Jul 27, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading