Migrate to prefetch.eu etc.

1 files changed, 11 insertions, 0 deletions

diff --git a/templates/page.html b/templates/page.html
index 8058656..2144e35 100644
--- a/templates/page.html
+++ b/templates/page.html
@@ -3,5 +3,16 @@
 	{{ config.title }} | {{ page.title }}
 {% endblock title %}
 {% block content %}
+	<h1>{{ page.title }}</h1>
+	{% for h1 in page.toc %}
+	<ul>{% for h2 in h1.children %}
+		<li><a href="{{ h2.permalink | safe }}">{{ h2.title }}</a>
+		{% if h2.children %}
+		<ul>{% for h3 in h2.children %}
+		<li><a href="{{ h3.permalink | safe }}">{{ h3.title }}</a></li>
+		{% endfor %}</ul>
+		{% endif %}</li>
+	{% endfor %}</ul>
+	{% endfor %}
 	{{ page.content | safe }}
 {% endblock content %}