diff --git a/src/doc/_includes/navbar.html b/src/doc/_includes/navbar.html index 57b956abf..f62c13802 100644 --- a/src/doc/_includes/navbar.html +++ b/src/doc/_includes/navbar.html @@ -33,7 +33,7 @@