diff --git a/doc/web/templates/default.html b/doc/web/templates/default.html index e36898637..182ea5695 100644 --- a/doc/web/templates/default.html +++ b/doc/web/templates/default.html @@ -39,11 +39,11 @@