diff options
Diffstat (limited to 'docs/posts/2023-11-03-creation-du-site.html')
| -rw-r--r-- | docs/posts/2023-11-03-creation-du-site.html | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/docs/posts/2023-11-03-creation-du-site.html b/docs/posts/2023-11-03-creation-du-site.html index 860da6a..70d46d3 100644 --- a/docs/posts/2023-11-03-creation-du-site.html +++ b/docs/posts/2023-11-03-creation-du-site.html @@ -20,12 +20,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="side"> <nav class="toc"> |