nmbug-status: Anchor with h3 ids instead of a names
authorW. Trevor King <wking@tremily.us>
Thu, 13 Feb 2014 16:47:16 +0000 (08:47 -0800)
committerDavid Bremner <david@tethera.net>
Fri, 14 Feb 2014 01:44:13 +0000 (21:44 -0400)
commite485b5bd1de1d514a35ab92d726240d2b46f99ab
treed6359024967a9b102bfdcef88ce038bf67f271a8
parent91aede05a3964cc3748bf9940661c20bfd82771a
nmbug-status: Anchor with h3 ids instead of a names

HTML 5 allows id attributes on all HTML elements [1], but restricts
names to particular cases [2].  Attaching the id attribute to the h3
element allows us to drop the anchor a element altogether.

[1]: http://www.w3.org/TR/html5/dom.html#the-id-attribute
[2]: http://www.w3.org/TR/html5/index.html#attributes-1
devel/nmbug/nmbug-status