Should criteria name markings be changed?

[david-a-wheeler]

Currently criteria are marked with names using square brackets.

In commit 7df076a there's discussion on whether there's a better way. Should names be visible to casual users? (David says yes, Dan is skeptical.) If they are visible, should they be displayed differently (e.g., as smaller superscripted text)? Should these be named anchors, enabling people to jump to specific locations?

[david-a-wheeler]

Commit 5636efd superscripts the names. Does this seem like an improvement? If so, we can text try out creating anchors, and making these names into links to the named anchors (making it easy to get to them later).

[dankohn]

I like it. Especially once you add the anchor tags. I might also try
superscripting the daggers.

Dan Kohn mailto:dan@dankohn.com
tel:+1-415-233-1000

On Wed, Sep 16, 2015 at 2:12 PM, David A. Wheeler notifications@github.com
wrote:

Commit 5636efd
5636efd
superscripts the names. Does this seem like an improvement? If so, we can
text try out creating anchors, and making these names into links to the
named anchors (making it easy to get to them later).

—
Reply to this email directly or view it on GitHub
#22 (comment)
.

[altonius]

i too like the superscript.

On Thu, 17 Sep 2015 at 04:16 Dan Kohn notifications@github.com wrote:

I like it. Especially once you add the anchor tags. I might also try
superscripting the daggers.

Dan Kohn mailto:dan@dankohn.com
tel:+1-415-233-1000

On Wed, Sep 16, 2015 at 2:12 PM, David A. Wheeler <
notifications@github.com>
wrote:

Commit 5636efd
<
5636efd

superscripts the names. Does this seem like an improvement? If so, we can
text try out creating anchors, and making these names into links to the
named anchors (making it easy to get to them later).

—
Reply to this email directly or view it on GitHub
<
#22 (comment)

.

—
Reply to this email directly or view it on GitHub
#22 (comment)
.

[david-a-wheeler]

Commit b1a8fbe adds the anchor tags, and each name is a link to its anchor. If this makes sense, we can try superscripting the daggers and asterisks next (they'll be really small then!).

[david-a-wheeler]

Commit d8b07e7 moves the daggers and asterisks into the superscript. I think this resolves things. We still have real names listed (which is important to me), but through the subscripts they take less space and are clearly distinguished from the criteria text (which I think addresses Dan's concern). We also have named anchors, and the name includes the named anchor, making it really easy to jump to any of the criteria.

I think we're done, so I'm closing this issue.