Re-enable version selector of RDT theme

I thought it would just remove the selector, but it also hide the version subtitle, which I think is useful.
Delgan · Dec 1, 2024 · 57dbda1 · 57dbda1
1 parent 24c5513
commit 57dbda1
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -86,9 +86,7 @@
 # further.  For a list of options available for each theme, see the
 # documentation.
 #
-html_theme_options = {
-    "version_selector": False,
-}
+html_theme_options = {}
 
 # 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,