1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
Description: Use Debian's built-in sphinx-rtd-theme
Permits one to get rid of the copy shipped by upstream
and fix some lintian issues.
Author: Fab Stz <fabstz-it@yahoo.fr>
Origin: self
Forwarded: not-needed
Last-Update: 2023-06-27
--- a/user_guide_src/source/conf.py
+++ b/user_guide_src/source/conf.py
@@ -25,7 +25,7 @@
# Add any Sphinx extension module names here, as strings. They can be extensions
# coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
-extensions = ['sphinx.ext.ifconfig', 'sphinxcontrib.phpdomain']
+extensions = ['sphinx.ext.ifconfig', 'sphinxcontrib.phpdomain', 'sphinx_rtd_theme']
# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']
@@ -101,11 +101,13 @@
#
# Specifying a few options; just a starting point & we can play with it.
html_theme_options = {
-
+ 'style_nav_header_background': '#dd4814',
+ 'includehidden': False,
+ 'display_version': False,
}
# Add any paths that contain custom themes here, relative to this directory.
-html_theme_path = ["./_themes"]
+html_theme_path = []
# The name for this set of Sphinx documents. If None, it defaults to
# "<project> v<release> documentation".
|
