From d113c492c902fbcf660ffbbdf4f217e6809d3b56 Mon Sep 17 00:00:00 2001
From: Slendi <slendi@socopon.com>
Date: Thu, 12 Mar 2026 08:31:55 +0200
Subject: [PATCH] Try another approach on removing the header

Signed-off-by: Slendi <slendi@socopon.com>
---
 docs/custom.css             |  4 ----
 docs/postprocess-doxygen.sh | 13 +++++++++++++
 2 files changed, 13 insertions(+), 4 deletions(-)
 create mode 100755 docs/postprocess-doxygen.sh

diff --git a/docs/custom.css b/docs/custom.css
index 9a582a5..7be81b6 100644
--- a/docs/custom.css
+++ b/docs/custom.css
@@ -15,7 +15,3 @@
 html.dark-mode #projectlogo img {
   content: url('smath_dark.svg');
 }
-
-.header:has(+ .contents .anchor#md__r_e_a_d_m_e) {
-  display: none;
-}
diff --git a/docs/postprocess-doxygen.sh b/docs/postprocess-doxygen.sh
new file mode 100755
index 0000000..525513e
--- /dev/null
+++ b/docs/postprocess-doxygen.sh
@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+html_dir="${1:-build/docs/html}"
+index_file="${html_dir%/}/index.html"
+
+if [[ ! -f "${index_file}" ]]; then
+  echo "error: ${index_file} not found" >&2
+  exit 1
+fi
+
+perl -0pi -e 's{<div><div class="header">\s*<div class="headertitle"><div class="title">.*?</div></div>\s*</div><!--header-->\s*}{}s' "${index_file}"