diff --git a/docs/navbar.html b/docs/navbar.html index f1b3dc35..34dad0ce 100644 --- a/docs/navbar.html +++ b/docs/navbar.html @@ -39,13 +39,13 @@