diff -r 8359ee62dde3 Doc/tools/templates/layout.html --- a/Doc/tools/templates/layout.html Sun Dec 11 03:51:44 2016 +0000 +++ b/Doc/tools/templates/layout.html Sun Dec 11 18:55:58 2016 -0800 @@ -44,8 +44,9 @@

{{ _('This Page') }}

{%- endif %} {% endblock %}