diff --git a/docs_theme/main.html b/docs_theme/main.html index c2a29e1ae..b4e894781 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -17,10 +17,6 @@ - -