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

diff --git a/.github/actions/spell-check/expect.txt b/.github/actions/spell-check/expect.txt
index 4254c99dad79837211f879f70a2c694be57543b0..ea837d55321da28dd10f12602ef5fcea0ff49c0f 100644 (file)
--- 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 cbb53411273bc0eb54974f120326252786a72d6e..2457532b83240de613793dadca9289065697966e 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -115,6 +115,8 @@ html_theme_options = {
 }
 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 10e75781f59d10d4972d4007ffc5ed4288623e3e..9708c85cd3bc55972050e8f4a9e5421249906f61 100644 (file)
--- a/pdns/dnsdistdist/docs/conf.py
+++ b/pdns/dnsdistdist/docs/conf.py
@@ -117,6 +117,7 @@ html_static_path = ['_static']
 
 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 874ca6ef38a914fe3897970c51004e3fc73772c8..f07504db325383e74432af44235c5b3294f2fcb5 100644 (file)
--- a/pdns/recursordist/docs/conf.py
+++ b/pdns/recursordist/docs/conf.py
@@ -127,6 +127,7 @@ html_favicon = 'common/favicon.ico'
 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 ------------------------------------------