Add custom include for TOC heading (#980)

Closes #961. Replays a previous attempt.
This commit is contained in:
Peter Mosses
2022-09-26 02:48:49 +02:00
committed by GitHub
parent e91df1e4bf
commit 6061dd27e1
3 changed files with 21 additions and 4 deletions

View File

@@ -159,7 +159,7 @@ layout: table_wrappers
{% if page.has_children == true and page.has_toc != false %}
<hr>
<h2 class="text-delta">Table of contents</h2>
{% include toc_heading_custom.html %}
<ul>
{% for child in toc_list %}
<li>