diff --git a/docs_theme/main.html b/docs_theme/main.html index 45eb6d9c3..74a605cdd 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -67,30 +67,35 @@