diff options
| author |  W. Trevor King <wking@tremily.us> | 2014-02-13 08:47:16 -0800 |
|---|---|---|
| committer |  David Bremner <david@tethera.net> | 2014-02-13 21:44:13 -0400 |
| commit | e485b5bd1de1d514a35ab92d726240d2b46f99ab (patch) | |
| tree | d6359024967a9b102bfdcef88ce038bf67f271a8 | |
| 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
| -rwxr-xr-x | devel/nmbug/nmbug-status | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status index 873a46a8..40e68962 100755 --- a/devel/nmbug/nmbug-status +++ b/devel/nmbug/nmbug-status @@ -177,7 +177,7 @@ class HtmlPage (Page): stream.write('</ul>\n') def _write_view_header(self, view, stream): - stream.write('<h3><a name="{title}" />{title}</h3>\n'.format(**view)) + stream.write('<h3 id="{title}">{title}</h3>\n'.format(**view)) if 'comment' in view: stream.write(view['comment']) stream.write('\n') |