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

DRAFT: reduce bold, addressing #199 #212

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Conversation

tomByrer
Copy link
Contributor

I'm removing 70% of the bold markup, with these rules

  • a phrase should only be bolded once in the document
    • headers (##+) count as bold
    • (link text)[] count as a type of bold
  • new terms are made italic (dark mode tends to hide bold anyhow; luminosity)
  • rare use-case for bold: scannability
    • IMHO much of the document should be re-written to be more scannable, using more headers & bullets, but not my call :)

I'm removing 70% of the bold markup, with these rules

* a phrase should only be bolded once in the document
  * headers (`##+`) count as bold
  * (link text)[] count as a type of bold
* new terms are made *italic*
* rare use-case for bold: scalability
  * IMHO much of the document should be re-written to be more scannable, using more headers & bullets, but not my call :)
@tomByrer
Copy link
Contributor Author

Note: I did not complete; looking for feedback.

@js-choi
Copy link
Collaborator

js-choi commented Sep 15, 2021

This seems fine to me so far. When you finish, I will re-review and merge. Thank you again for your help. 😄

@js-choi
Copy link
Collaborator

js-choi commented Sep 15, 2021

Note: I may make some additions to the explainer file soon. I will avoid deletions and modifications of existing lines, so it should stay mergeable.

Also, please mark this pull request as a Draft until you’ve finished your changes to your satisfaction. Thank you!

@tomByrer tomByrer changed the title half-way reduce bold, addressing #199 DRAFT: reduce bold, addressing #199 Sep 16, 2021
@js-choi js-choi marked this pull request as draft September 19, 2021 04:14
@js-choi js-choi added the documentation Improvements or additions to documentation label Sep 19, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants