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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status index 040baf0..2b1f364 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') -- 1.8.5.2.8.g0f6c0d1
