diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index 2717825fb0..1ce992ddfe 100644 --- a/docs/source/_static/js/custom.js +++ b/docs/source/_static/js/custom.js @@ -149,6 +149,7 @@ function addHfMenu() { `; document.body.insertAdjacentHTML('afterbegin', div);