X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/8f30a32466c36d5a989e7f754df315cbd9314126..refs/heads/master:/mkdocs.yml

diff --git a/mkdocs.yml b/mkdocs.yml
index aa6e1aa0..6a24e816 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -4,6 +4,7 @@ theme:
   name: material
   features:
     - navigation.tabs
+    - toc.integrate
   plugins:
     - privacy
 copyright: Copyright © Nominatim developer community
@@ -25,8 +26,7 @@ nav:
         - 'Basic Installation': 'admin/Installation.md'
         - 'Import' : 'admin/Import.md'
         - 'Update' : 'admin/Update.md'
-        - 'Deploy (Python frontend)' : 'admin/Deployment-Python.md'
-        - 'Deploy (PHP frontend)' : 'admin/Deployment-PHP.md'
+        - 'Deploy' : 'admin/Deployment-Python.md'
         - 'Nominatim UI'  : 'admin/Setup-Nominatim-UI.md'
         - 'Advanced Installations' : 'admin/Advanced-Installations.md'
         - 'Maintenance' : 'admin/Maintenance.md'
@@ -71,6 +71,7 @@ markdown_extensions:
         alternate_style: true
     - def_list
     - toc:
+        toc_depth: 4
         permalink: 🔗
 extra_css: [extra.css, styles.css]
 exclude_docs: |