diff --git a/src/Doc/templates/header.html b/src/Doc/templates/header.html index f0b9b181fa..0614c935f6 100644 --- a/src/Doc/templates/header.html +++ b/src/Doc/templates/header.html @@ -9,7 +9,7 @@ - +