diff --git a/user_guide_src/source/_static/js/version_switcher.js b/user_guide_src/source/_static/js/version_switcher.js new file mode 100644 index 000000000000..a201bb4ddc7a --- /dev/null +++ b/user_guide_src/source/_static/js/version_switcher.js @@ -0,0 +1,119 @@ +/* + * Version switcher for the user guide sidebar. + * + * Injects the sphinx_rtd_theme's native ".switch-menus > .version-switch" + * scaffolding above the search box in the left sidebar, containing a