diff --git a/src/doc/_layouts/base.html b/src/doc/_layouts/base.html index 62ee184e6..8979c788b 100644 --- a/src/doc/_layouts/base.html +++ b/src/doc/_layouts/base.html @@ -3,11 +3,10 @@ - + - - + {% if page.title %}{{ page.title }}{% endif %}