diff --git a/docs_theme/nav.html b/docs_theme/nav.html index 203470c68..404b760f7 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -1,87 +1,3 @@ - -