From d2d22e40e9ae720accbc027bb86d3f7ec7d721de Mon Sep 17 00:00:00 2001
From: ROUVREAU Vincent <vincent.rouvreau@inria.fr>
Date: Fri, 22 Nov 2019 15:29:37 +0100
Subject: Simplify and boldify main pages (modules, installation, examples,
 ...) in the left top menu of sphinx documentation

---
 src/python/doc/_templates/layout.html | 16 ++++++++++------
 1 file 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 %}
-- 
cgit v1.2.3