docs: make sidebar table of contents more consistent

1 files changed, 18 insertions, 0 deletions

diff --git a/docs/tools/templates/localtoc.html b/docs/tools/templates/localtoc.html
new file mode 100644
index 0000000..0e9bf8a
--- /dev/null
+++ b/docs/tools/templates/localtoc.html
@@ -0,0 +1,18 @@
+{%- if pagename.startswith('manual/') -%}
+  <h3>Table of contents</a></h3>
+    <ul><li><a href="index.html">Manual</a></li>
+    {%- if display_toc -%}
+      {{ toc }}
+    {%- endif %}
+    </ul>
+{%- elif pagename.startswith('reference/') -%}
+  <h3>Table of contents</a></h3>
+    <ul><li><a href="index.html">Reference</a></li>
+    {%- if display_toc -%}
+      {{ toc }}
+    {%- endif %}
+    </ul>
+{%- elif display_toc -%}
+  <h3>Table of contents</a></h3>
+  {{ toc }}
+{% endif %}