update(docs): enable them options and Makrdown extensions to improve …

…rendered website

website/mkdocs.yml

@@ -5,23 +5,33 @@ repo_url: "https://gitlab.com/sfcgal/SFCGAL/"
 theme:
   name: material
   features:
+    - navigation.hide
     - navigation.instant
-    - navigation.top
+    - navigation.instant.progress
+    - navigation.sections
     - navigation.tabs
-    - navigation.hide
+    - navigation.tabs.sticky
+    - navigation.top
+    - navigation.tracking
+    - toc.follow
+    - toc.integrate 
   logo: assets/img/logo.png
   favicon: assets/img/logo.png
-  palette: 
+  palette:
      primary: custom
      accent: custom
-  repo_icon: "gitlab"  # Utilise l'icône GitLab
+  icon:
+    repo: fontawesome/brands/gitlab
 
 extra_css:
   - stylesheets/extra.css
 
 markdown_extensions:
   - attr_list
   - admonition
+  # Permalinks - https://squidfunk.github.io/mkdocs-material/extensions/permalinks/
+  - toc:
+      permalink: "#"
 
 plugins:
   - macros:
@@ -40,7 +50,7 @@ plugins:
             RECURSIVE: True
   - search
 
-nav : 
+nav :
   - Home: index.md
   - Authors: authors.md
   - Sponsors: sponsors.md
@@ -68,4 +78,4 @@ nav :
       - "Functions": "API/functions.md"
       - "Variables": "API/variables.md"
       - "Macros": "API/macros.md"
-      - "Files": "API/files.md"
+      - "Files": "API/files.md"