jch/html-pipeline — pull request #140 by bkeepers (2014-09-04 17:10:07+00:00)
Title: Use id instead of name for TableOfContentsFilter

Closes #135

I also added the [aria-hidden](http://www.w3.org/TR/wai-aria/states_and_properties#aria-hidden) attribute, which tells assistive devices that this element is not actually visible. We already set this on GitHub, so I thought it would make sense to be included upstream.

/cc @jch @josh