message: Simplify and boldify main pages (modules, installation, examples, ...) in the left top menu of sphinx documentation
diff: </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 %}
  