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