[Template merge] Doc infra updates

giellalt · Sep 4, 2024 · 03c83e4 · 03c83e4
1 parent a3ee820
commit 03c83e4
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -4,6 +4,7 @@
     <meta charset="UTF-8">
     <meta http-equiv="X-UA-Compatible" content="IE=edge">
     <meta name="viewport" content="width=device-width, initial-scale=1">
+    <link rel="shortcut icon" type="image/png" href="/favicon.png?">
 
 {% seo %}
     <link rel="stylesheet" href="{{ "/assets/css/style.css?v=" | append: site.github.build_revision | relative_url }}">
@@ -37,8 +38,10 @@ <h1><a href="{{ "/" | absolute_url }}">{{ site.title | default: site.github.repo
           <li><a href="{{ site.github.repository_url }}">View On <strong>GitHub</strong></a></li>
         </ul>
         {% endif %}
-        <h2 class="tocheader">Page Content</h2>
-        {% include toc.html html=content sanitize=true class="left_toc" id="left_toc" %}
+        <div id="toc">
+          <h2 class="tocheader">Page Content</h2>
+          {% include toc.html html=content sanitize=true class="left_toc" id="left_toc" h_min=2 h_max=6 %}
+        </div>
       </header>
       <section>