diff options
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/docs/index.html b/docs/index.html index dc9b23b..e1f8fc5 100644 --- a/docs/index.html +++ b/docs/index.html @@ -19,12 +19,13 @@ <body> <header class="main-header"> <nav class="navbar"> - <div> - <a href="/">Accueil</a> - <a href="/pages/publications.html">Publications</a> - <a href="/pages/cours.html">Enseignements</a> - <a href="/pages/glossaire.html">Glossaire</a> - </div> + <ul> + <li><a href="/">Accueil</a></li> + <li><a href="/pages/publications.html">Publications</a></li> + <li><a href="/pages/cours.html">Enseignements</a></li> + <li><a href="/pages/glossaire.html">Glossaire</a></li> + <li class="right"><a href="/index-cache.html"></a></li> + </ul> </nav></header> <div class="description-site"> <header class="header-bloc"> <h2>Pensées d’un doctorant</h2> |