docs/conf.py: made definition of html_theme conditional on if the build is local or on RTDs (trying to solve the problem where the read the docs sidebar popup menu for choosing version, etc. does not pop up when clicked)

Author: rocco8773

docs/conf.py

@@ -97,12 +97,12 @@
 #
 #html_theme = 'alabaster'
 #html_theme = 'default'
-#on_rtd = os.environ.get('READTHEDOCS') == 'True'
-#if on_rtd:
-#    html_theme = 'default'
-#else:
-#    html_theme = 'sphinx_rtd_theme'
-html_theme = 'sphinx_rtd_theme'
+on_rtd = os.environ.get('READTHEDOCS') == 'True'
+if on_rtd:
+    html_theme = 'default'
+else:
+    html_theme = 'sphinx_rtd_theme'
+# html_theme = 'sphinx_rtd_theme'
 # html_theme_path = ['_themes']
 
 # Theme options are theme-specific and customize the look and feel of a