# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1663490030 -7200
# Node ID 994172263c6e88e2c2ecc39bcc5627dcd8bccdd1
# Parent  258a1dfd52eba5cd3bfd25ca3c27a58f2b00b9c5
Use the "haiku" theme now

diff -r 258a1dfd52eb -r 994172263c6e docs/conf.py
--- 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 ------------------------------------------