HTML5 template: Add role with ARIA doc-toc for table of contents.

See #4213.
This commit is contained in:
John MacFarlane 2019-02-02 16:20:19 -08:00
parent b74267406b
commit d50cb029fd

View file

@ -60,7 +60,7 @@ $endif$
</header>
$endif$
$if(toc)$
<nav id="$idprefix$TOC">
<nav id="$idprefix$TOC" role="doc-toc">
$table-of-contents$
</nav>
$endif$