From 57dbda17cf7d382319020341f0bcafe6587919f0 Mon Sep 17 00:00:00 2001
From: Delgan <delgan.py@gmail.com>
Date: Sun, 1 Dec 2024 20:02:28 +0100
Subject: [PATCH] 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.
---
 docs/conf.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index e44436b6..19977a1f 100644
--- 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,