From d50cb029fdd3555d5f14e6eee15411d6704ad96e Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 2 Feb 2019 16:20:19 -0800
Subject: HTML5 template: Add role with ARIA doc-toc for table of contents.

See #4213.
---
 data/templates/default.html5 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'data')

diff --git a/data/templates/default.html5 b/data/templates/default.html5
index 1d7bef4c7..9816fcf9f 100644
--- a/data/templates/default.html5
+++ b/data/templates/default.html5
@@ -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$
-- 
cgit v1.2.3