diff --git a/docs_theme/main.html b/docs_theme/main.html index c7bf06f5b..1072b0245 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -40,20 +40,6 @@ s.parentNode.insertBefore(ga, s); })(); - -