From f2f428f7584951a2ca5e0fa07ff02be9120729a9 Mon Sep 17 00:00:00 2001
From: phaer <hello@phaer.org>
Date: Sat, 15 Jun 2024 11:53:27 +0200
Subject: [PATCH] docs: add extra header to reference docs

---
 docs/theme/reference_header.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/theme/reference_header.html b/docs/theme/reference_header.html
index 7e9b3961..9ab861ba 100644
--- a/docs/theme/reference_header.html
+++ b/docs/theme/reference_header.html
@@ -14,3 +14,5 @@
         </td>
     </tr>
 </table>
+
+## Introduction