diff --git a/docs_theme/nav.html b/docs_theme/nav.html index 0ce2c0b16..2f6f78e94 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -1,11 +1,12 @@