From d39816c71e7fc8ef752f39a012ee1839ab51a7a4 Mon Sep 17 00:00:00 2001 From: snomos Date: Wed, 4 Sep 2024 07:53:29 +0000 Subject: [PATCH] deploy: 9ddc1e201128d85fb8502524f7f98dd970c5d473 --- _layouts/default.html | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/_layouts/default.html b/_layouts/default.html index 83989c398..3d5cbe2a0 100644 --- a/_layouts/default.html +++ b/_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 %} +