Change sphinx theme to furo.

OFFIS-DAI · Oct 16, 2024 · d626313 · d626313
1 parent 70f7411
commit d626313
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 2 deletions.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,4 +1,4 @@
 -e .
-sphinx-rtd-theme>=2.0.0
 pika
 pyzmq
+furo>=2024.8.6
diff --git a/docs/source/api_ref/index.rst b/docs/source/api_ref/index.rst
@@ -10,6 +10,17 @@ functions.
    :undoc-members:
    :imported-members:
    :inherited-members:
+   :exclude-members: PrintingAgent, DistributedClockManager, DistributedClockAgent
+
+.. autoclass:: mango.PrintingAgent
+   :members:
+
+.. autoclass:: mango.DistributedClockManager
+   :members:
+
+.. autoclass:: mango.DistributedClockAgent
+   :members:
+
 
 
 .. note::

diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -43,9 +43,15 @@
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-html_theme = "sphinx_rtd_theme"
+html_theme = "furo"
 
 # 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_theme_options = {
+    "light_logo": "Logo_mango_ohne_sub.svg",
+    "dark_logo": "Logo_mango_ohne_sub_white.svg",
+    "sidebar_hide_name": True,
+}