diff --git a/docs_theme/main.html b/docs_theme/main.html index 8ce5b026f..c2a29e1ae 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -102,7 +102,7 @@ {% endfor %}