From 654cf57844af5866424e61d1176ba7e90a59e49c Mon Sep 17 00:00:00 2001
From: Otto Moerbeek <otto.moerbeek@open-xchange.com>
Date: Tue, 10 Dec 2024 13:44:13 +0100
Subject: [PATCH] web docs: Render search box on top.

Also uses the proper style for the name of the beast, except for
dnsdist which uses a different theme that does not have logo-text.html
---
 .github/actions/spell-check/expect.txt | 3 ++-
 docs/conf.py                           | 2 ++
 pdns/dnsdistdist/docs/conf.py          | 1 +
 pdns/recursordist/docs/conf.py         | 1 +
 4 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/actions/spell-check/expect.txt b/.github/actions/spell-check/expect.txt
index 4254c99dad79..ea837d55321d 100644
--- a/.github/actions/spell-check/expect.txt
+++ b/.github/actions/spell-check/expect.txt
@@ -483,7 +483,6 @@ geobackend
 geoipbackend
 geolocated
 Georgeto
-getbootstrap
 Gergely
 Gerritsen
 Gervai
@@ -491,6 +490,7 @@ Gerwin
 getaddrs
 getalldomainmetadata
 getbeforeandafternamesabsolute
+getbootstrap
 getcarbonhostname
 getdomaininfo
 getdomainkeys
@@ -1291,6 +1291,7 @@ sortlist
 sourcecode
 SOURCEDIR
 sourceforge
+sourcelink
 sourceware
 Spaans
 Spackages
diff --git a/docs/conf.py b/docs/conf.py
index cbb53411273b..2457532b8324 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -115,6 +115,8 @@
 }
 html_favicon = 'common/favicon.ico'
 
+html_sidebars = { '**': ['logo-text.html', 'searchbox.html', 'relations.html', 'localtoc.html', 'sourcelink.html'] }
+
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
diff --git a/pdns/dnsdistdist/docs/conf.py b/pdns/dnsdistdist/docs/conf.py
index 10e75781f59d..9708c85cd3bc 100644
--- a/pdns/dnsdistdist/docs/conf.py
+++ b/pdns/dnsdistdist/docs/conf.py
@@ -117,6 +117,7 @@
 
 html_favicon = '_static/favicon.ico'
 
+html_sidebars = { '**': ['searchbox.html', 'relations.html', 'localtoc.html', 'sourcelink.html'] }
 
 # -- Options for HTMLHelp output ------------------------------------------
 
diff --git a/pdns/recursordist/docs/conf.py b/pdns/recursordist/docs/conf.py
index 874ca6ef38a9..f07504db3253 100644
--- a/pdns/recursordist/docs/conf.py
+++ b/pdns/recursordist/docs/conf.py
@@ -127,6 +127,7 @@
 html_static_path = ['_static']
 html_style = 'pdns.css'
 
+html_sidebars = { '**': ['logo-text.html', 'searchbox.html', 'relations.html', 'localtoc.html', 'sourcelink.html'] }
 
 # -- Options for HTMLHelp output ------------------------------------------