From 7001eb5ef357cc33f9368a214a8bb30fe7809397 Mon Sep 17 00:00:00 2001
From: cactuzhead <cactuzhead@gmail.com>
Date: Thu, 15 May 2025 16:17:56 +0100
Subject: [PATCH] Delete docs/_includes/header.html

---
 docs/_includes/header.html | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 docs/_includes/header.html

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
deleted file mode 100644
index 3703ee2..0000000
--- a/docs/_includes/header.html
+++ /dev/null
@@ -1,15 +0,0 @@
-<div class="site-header" role="banner">
-  <div class="site-header-inner">
-    {% if site.logo %}
-      <a class="site-logo" href="{{ "/" | relative_url }}">
-        <img src="{{ site.logo | relative_url }}" alt="{{ site.title | default: 'Site Logo' }}" />
-      </a>
-    {% endif %}
-    {% if site.title %}
-      <a class="site-title lh-tight" href="{{ "/" | relative_url }}">{{ site.title }}</a>
-    {% endif %}
-  </div>
-  <button id="menu-button" class="site-button btn-reset" aria-label="Toggle menu" aria-pressed="false">
-    <svg viewBox="0 0 24 24" class="icon" aria-hidden="true"><use xlink:href="#svg-menu"></use></svg>
-  </button>
-</div>