Merge tag 'tags/gudhi-release-3.1.0.rc1' into dfsg/latest

1 files changed, 10 insertions, 6 deletions

diff --git a/src/python/doc/_templates/layout.html b/src/python/doc/_templates/layout.html
index fe64fb3d..2f2d9c72 100644
--- a/src/python/doc/_templates/layout.html
+++ b/src/python/doc/_templates/layout.html
@@ -56,12 +56,16 @@
             </a></p>
           {%- endif %}
           {%- endblock %}
-            <h2><a href="index.html">GUDHI</a></h2>
-            <h2><a href="fileformats.html">File formats</a></h2>
-            <h2><a href="installation.html">GUDHI installation</a></h2>
-            <h2><a href="citation.html">Acknowledging the GUDHI library</a></h2>
-            <h2><a href="genindex.html">Index</a></h2>
-            <h2><a href="examples.html">Examples</a></h2>
+            <b>
+              <ul style="list-style-type:circle;">
+                <li><a href="index.html">Modules</a></li>
+                <li><a href="installation.html">Installation</a></li>
+                <li><a href="examples.html">Examples</a></li>
+                <li><a href="fileformats.html">File formats</a></li>
+                <li><a href="citation.html">Acknowledging</a></li>
+                <li><a href="genindex.html">Index</a></li>
+              </ul>
+            </b>
           {%- if sidebars != None %}
             {#- new style sidebar: explicitly include/exclude templates #}
             {%- for sidebartemplate in sidebars %}