From 2a30ce80fa4c8ba9ecbb39d731c7797589b0b443 Mon Sep 17 00:00:00 2001
From: Piotr Spieker <orzechow@posteo.de>
Date: Fri, 15 Nov 2024 19:24:13 +0100
Subject: [PATCH] Fix warning about missing toc.css file (it's compiled into
 the main style.css)

---
 docs/_includes/head-custom.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/_includes/head-custom.html b/docs/_includes/head-custom.html
index 4a2e9169..7f8b0918 100644
--- a/docs/_includes/head-custom.html
+++ b/docs/_includes/head-custom.html
@@ -1,4 +1,3 @@
 <link rel="stylesheet" href="{{ '/docs/assets/css/style.css?v=' | append: site.github.build_revision | relative_url }}">
 
-<link rel="stylesheet" href="{{ '/docs/assets/css/toc.css?v=' | append: site.github.build_revision | relative_url }}">
 <script src="{{ '/docs/assets/js/toc.js?v=' | append: site.github.build_revision | relative_url }}"></script>
\ No newline at end of file