HTML5 template: Add role with ARIA doc-toc for table of contents.
See #4213.
commitd50cb029fdd3555d5f14e6eee15411d6704ad96e
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 2 Feb 2019, 16:20 (8 years ago)
parentb742674
data/templates/default.html5+1−1
@@ -60,7 +60,7 @@ $endif$
6060</header>
6161$endif$
6262$if(toc)$
63−<nav id="$idprefix$TOC">
63+<nav id="$idprefix$TOC" role="doc-toc">
6464$table-of-contents$
6565</nav>
6666$endif$