changeset 287:994172263c6e

Use the "haiku" theme now
author Franz Glasner <fzglas.hg@dom66.de>
date Sun, 18 Sep 2022 10:33:50 +0200
parents 258a1dfd52eb
children c9f14ccd581e
files docs/conf.py
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/docs/conf.py	Sun Sep 18 10:25:55 2022 +0200
+++ b/docs/conf.py	Sun Sep 18 10:33:50 2022 +0200
@@ -47,13 +47,18 @@
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-html_theme = 'agogo'
+html_theme = 'haiku'
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
+html_show_sourcelink = False
+
+# For the Haiku title
+html_short_title = "%s %s" % (project, release)
+
 
 # -- Options for manual page output ------------------------------------------