From 776389f724abf5b3b808ec69e3cf8e1de1f25c47 Mon Sep 17 00:00:00 2001 From: Sjur N Moshagen Date: Wed, 4 Sep 2024 10:47:38 +0300 Subject: [PATCH] [Template merge] Doc infra updates --- docs/_layouts/default.html | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 83989c3..3d5cbe2 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -4,6 +4,7 @@ + {% seo %} @@ -37,8 +38,10 @@

{{ site.title | default: site.github.repo
  • View On GitHub
  • {% endif %} -

    Page Content

    - {% include toc.html html=content sanitize=true class="left_toc" id="left_toc" %} +
    +

    Page Content

    + {% include toc.html html=content sanitize=true class="left_toc" id="left_toc" h_min=2 h_max=6 %} +