HTML template: make TOC more customizable.
Users can now insert a header before the table of contents,
or include other styling.
Thanks to Bruce D'Arcus for the suggestion.
commit8cb5fef740725ee51ffed5022faa097f21336bcd
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 23 Jul 2011, 12:03 (15 years ago)
parent8590fab
default.html+9−1
@@ -50,7 +50,7 @@ $if(title)$
5050$if(html5)$
5151<header>
5252$else$
53−<div id="header">
53+<div id="$idprefix$header">
5454$endif$
5555<h1 class="title">$title$</h1>
5656$for(author)$
@@ -66,7 +66,15 @@ $else$
6666$endif$
6767$endif$
6868$if(toc)$
69+$if(html5)$
70+<nav id="$idprefix$TOC">
71+$toc$
72+</nav>
73+$else$
74+<div id="$idprefix$TOC">
6975$toc$
76+</div>
77+$endif$
7078$endif$
7179$body$
7280$for(include-after)$