diff -r 505593490f4c Doc/tools/templates/indexcontent.html --- a/Doc/tools/templates/indexcontent.html Fri Dec 18 13:23:33 2015 +0200 +++ b/Doc/tools/templates/indexcontent.html Fri Dec 18 16:23:39 2015 +0100 @@ -1,59 +1,59 @@ {% extends "defindex.html" %} {% block tables %} -

Parts of the documentation:

+

{% trans %}Parts of the documentation:{% endtrans %}

- - - - - - + + + + + + - - - - - + + + + +
-

Indices and tables:

+

{% trans %}Indices and tables:{% endtrans %}

- - - + + + - - + +
-

Meta information:

+

{% trans %}Meta information:{% endtrans %}

- - + + - - + +
{% endblock %}