diff options
author | 2014-02-13 08:47:16 -0800 | |
---|---|---|
committer | 2014-02-13 21:44:13 -0400 | |
commit | e485b5bd1de1d514a35ab92d726240d2b46f99ab (patch) | |
tree | d6359024967a9b102bfdcef88ce038bf67f271a8 /Makefile.local | |
parent | 91aede05a3964cc3748bf9940661c20bfd82771a (diff) |
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
Diffstat (limited to 'Makefile.local')
0 files changed, 0 insertions, 0 deletions