diff --git a/docs_theme/main.html b/docs_theme/main.html index 07570d6e4..4a1b0f23c 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -91,12 +91,12 @@ {% for toc_item in page.toc %}