diff options
Diffstat (limited to 'default.html')
| -rw-r--r-- | default.html | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/default.html b/default.html index 0e8d97fa0..387e4eb7d 100644 --- a/default.html +++ b/default.html @@ -50,7 +50,7 @@ $if(title)$ $if(html5)$ <header> $else$ -<div id="header"> +<div id="$idprefix$header"> $endif$ <h1 class="title">$title$</h1> $for(author)$ @@ -66,7 +66,15 @@ $else$ $endif$ $endif$ $if(toc)$ +$if(html5)$ +<nav id="$idprefix$TOC"> +$toc$ +</nav> +$else$ +<div id="$idprefix$TOC"> $toc$ +</div> +$endif$ $endif$ $body$ $for(include-after)$ |