From 96d384ac9e4458d6067a85a9347bf9d79d131f2d Mon Sep 17 00:00:00 2001
From: Florian Kohrt <fkohrt@anche.no>
Date: Fri, 30 Apr 2021 03:49:17 +0200
Subject: [PATCH] Support toc-title in revealjs (#7171)

* Support toc-title in revealjs
* Add semantic HTML "nav" tag

Closes #7170.

As with default.html5
---
 data/templates/default.revealjs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/data/templates/default.revealjs b/data/templates/default.revealjs
index e6d6939cd..e90b32899 100644
--- a/data/templates/default.revealjs
+++ b/data/templates/default.revealjs
@@ -59,7 +59,12 @@ $endif$
 $endif$
 $if(toc)$
 <section id="$idprefix$TOC">
+<nav role="doc-toc"> 
+$if(toc-title)$
+<h2 id="$idprefix$toc-title">$toc-title$</h2>
+$endif$
 $table-of-contents$
+</nav>
 </section>
 $endif$