adding rtd theme patch

patches/11SEPTEMBER2023_fix_rtd_theme.patch

@@ -0,0 +1,33 @@
+Subject: [PATCH] fix rtd theme
+---
+Index: docs/conf.py
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/docs/conf.py b/docs/conf.py
+--- a/docs/conf.py	(revision 5db9162ece6bc3e0d210f829a1bf895c2beccec6)
++++ b/docs/conf.py	(revision 253b97bcaab4dd28caee2d4a696926a9e0caef7b)
+@@ -101,19 +101,10 @@
+ # The theme to use for HTML and HTML Help pages.  See the documentation for
+ # a list of builtin themes.
+ #
+-on_rtd = os.environ.get("READTHEDOCS", None) == "True"
+-
+-if not on_rtd:  # only import and set the theme if we're building docs locally
+-    try:
+-        import sphinx_rtd_theme
++import sphinx_rtd_theme
+
+-        html_theme = "sphinx_rtd_theme"
+-        html_theme_path = [sphinx_rtd_theme.get_html_theme_path(), "."]
+-    except:
+-        html_theme = "default"
+-        html_theme_path = ["."]
+-else:
+-    html_theme_path = ["."]
++html_theme = "sphinx_rtd_theme"
++html_theme_path = [sphinx_rtd_theme.get_html_theme_path(), "."]
+
+ # 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,