From: Otto Moerbeek Date: Tue, 10 Dec 2024 12:44:13 +0000 (+0100) Subject: web docs: Render search box on top. X-Git-Tag: rec-5.3.0-alpha0~2^2 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=654cf57844af5866424e61d1176ba7e90a59e49c;p=thirdparty%2Fpdns.git 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 4254c99dad..ea837d5532 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 cbb5341127..2457532b83 100644 --- 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 10e75781f5..9708c85cd3 100644 --- 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 874ca6ef38..f07504db32 100644 --- 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 ------------------------------------------