diff --git a/docs/_templates/page.html b/docs/_templates/page.html index 713f584968..9cb1650a18 100644 --- a/docs/_templates/page.html +++ b/docs/_templates/page.html @@ -20,10 +20,13 @@ function add_version_selector() .then(res => res.text()) .then(text => { const versions = text.split("\n").filter(version => version.trim().length > 0); - p = document.getElementById("rtd-search-form").parentElement; + let p = document.getElementById("rtd-search-form").parentElement; p.innerHTML = ` ` + p.innerHTML; }); }