Skip to content

Conversation

afs
Copy link
Contributor

@afs afs commented Jun 23, 2025

This PR has two commits:

  1. Make all parameter names bold, and not parameter values.
  2. Make all parameter synatx bold (i.e. include ?, = and & in bold. This is for presentation.

The first commit fixes a few places for consistency.

The second commit is presentational change to emphasis the parameter characters.

This may need to be adjusted after #34.


Preview | Diff

@afs afs requested review from Tpt, kasei and rubensworks June 23, 2025 15:49
@afs afs added the Editorial Errata management: this erratum is editorial label Jun 23, 2025
Copy link

@Tpt Tpt left a comment

Choose a reason for hiding this comment

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

Note this conflict with #33

@afs afs force-pushed the editorial-param-bold branch 2 times, most recently from c502166 to 3d67433 Compare June 24, 2025 09:42
@afs afs force-pushed the editorial-param-bold branch 2 times, most recently from b912de0 to 6635981 Compare June 24, 2025 09:51
@afs afs force-pushed the editorial-param-bold branch from 6635981 to 368e9df Compare June 24, 2025 09:56
@afs afs merged commit badd2c0 into main Jun 24, 2025
2 checks passed
@afs afs deleted the editorial-param-bold branch June 24, 2025 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Editorial Errata management: this erratum is editorial

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants