diff --git a/.gitea/workflows/html-docs.yml b/.gitea/workflows/html-docs.yml
index fac9cd5..0d64fbd 100644
--- a/.gitea/workflows/html-docs.yml
+++ b/.gitea/workflows/html-docs.yml
@@ -25,7 +25,8 @@ jobs:
- name: Generate chunked HTML docs
run: |
- pandoc -f gfm -t chunkedhtml --split-level=1 --toc -V toc=true \
+ pandoc -f gfm -t chunkedhtml --split-level=1 \
+ --include-in-header docs/html-style.html \
docs/fish-config.md \
-o docs/html/
diff --git a/docs/fish-config.md b/docs/fish-config.md
index 1170a03..439cf3e 100644
--- a/docs/fish-config.md
+++ b/docs/fish-config.md
@@ -1268,3 +1268,4 @@ a completely separate command. Do not mix them up.
help config fish-deps
The keyword is matched case-insensitively against section headings.
+
diff --git a/docs/html-style.html b/docs/html-style.html
new file mode 100644
index 0000000..a4cbda4
--- /dev/null
+++ b/docs/html-style.html
@@ -0,0 +1,154 @@
+