Grotti 2.0.0: eigenes Repo, Umbenennung von Farm.

web/templates/_doc_toc.html

@@ -0,0 +1,17 @@
+{% macro doc_toc(current) %}
+<nav class="doc-toc" aria-label="Doku">
+  <p>Handbuch</p>
+  <a href="/doku#grotti" data-sec="grotti" class="{{ 'on' if current == 'start' else '' }}">Was Grotti ist</a>
+  <a href="/doku#druck" data-sec="druck">Ein Druck von A bis Z</a>
+  <a href="/doku#ablauf" data-sec="ablauf">Ablauf (Kobra 3)</a>
+  <a href="/doku#seiten" data-sec="seiten">Seiten</a>
+  <a href="/doku#haengt" data-sec="haengt">Wenn etwas hängt</a>
+  <a href="/doku#begriffe" data-sec="begriffe">Begriffe</a>
+  <p>Versionen</p>
+  <a href="/doku/changelog" class="{{ 'on' if current == 'changelog' else '' }}">Changelog · v{{ version }}</a>
+  <p>Technik</p>
+  {% for name in docs %}
+  <a href="/doku/{{ name }}" class="{{ 'on' if current == name else '' }}">{{ name | replace('-', ' ') }}</a>
+  {% endfor %}
+</nav>
+{% endmacro %}